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.
Abstract is missing.