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}, }