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]

Abstract

Abstract is missing.