@misc{cryptoeprint:2016:624,
    author = {Baiyu Li and Daniele Micciancio},
    title = {Equational Security Proofs of Oblivious Transfer Protocols},
    howpublished = {Cryptology ePrint Archive, Report 2016/624},
    year = {2016},
    url = {https://eprint.iacr.org/2016/624},
}