Equational Security Proofs of Oblivious Transfer Protocols

Baiyu Li, Daniele Micciancio. Equational Security Proofs of Oblivious Transfer Protocols. In Michel Abdalla, Ricardo Dahab, editors, Public-Key Cryptography - PKC 2018 - 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I. Volume 10769 of Lecture Notes in Computer Science, pages 527-553, Springer, 2018. [doi]

Abstract

Abstract is missing.