International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Soundness of Formal Encryption in the Presence of Active Adversaries

Authors:
Daniele Micciancio
Bogdan Warinschi
Download:
DOI: 10.1007/978-3-540-24638-1_8
Search ePrint
Search Google
Conference: TCC 2004
BibTeX
@inproceedings{tcc-2004-3589,
  title={Soundness of Formal Encryption in the Presence of Active Adversaries},
  booktitle={Theory of Cryptography, First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={2951},
  pages={133-151},
  doi={10.1007/978-3-540-24638-1_8},
  author={Daniele Micciancio and Bogdan Warinschi},
  year=2004
}