International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)

Authors:
Martín Abadi
Phillip Rogaway
Download:
DOI: 10.1007/s00145-007-0203-0
Search ePrint
Search Google
BibTeX
@article{jofc-2007-14283,
  title={Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)},
  journal={J. Cryptology},
  volume={20},
  pages={395},
  doi={10.1007/s00145-007-0203-0},
  author={Martín Abadi and Phillip Rogaway},
  year=2007
}