Soundness of Formal Encryption in the Presence of Active Adversaries

Theory of Cryptography - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24638-1_8 ◽

2004 ◽

pp. 133-151 ◽

Author(s):

Daniele Micciancio ◽

Bogdan Warinschi

Download Full-text