Equational Security Proofs of Oblivious Transfer Protocols

Baiyu Li, Daniele Micciancio. Equational Security Proofs of Oblivious Transfer Protocols. IACR Cryptology ePrint Archive, 2016:624, 2016. [doi]

@article{LiM16a-1,
  title = {Equational Security Proofs of Oblivious Transfer Protocols},
  author = {Baiyu Li and Daniele Micciancio},
  year = {2016},
  url = {http://eprint.iacr.org/2016/624},
  researchr = {https://researchr.org/publication/LiM16a-1},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2016},
  pages = {624},
}