Soundness of Formal Encryption in the Presence of Active Adversaries

Daniele Micciancio, Bogdan Warinschi. Soundness of Formal Encryption in the Presence of Active Adversaries. In Moni Naor, editor, Theory of Cryptography, First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings. Volume 2951 of Lecture Notes in Computer Science, pages 133-151, Springer, 2004. [doi]

Authors

Daniele Micciancio

This author has not been identified. Look up 'Daniele Micciancio' in Google

Bogdan Warinschi

This author has not been identified. Look up 'Bogdan Warinschi' in Google