International Association for Cryptologic Research
IACR paper details
| Title | Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption) |
|---|---|
| Booktitle | J. Cryptology |
| Volume | 15 |
| Pages | 103-127 |
| Year | 2002 |
| URL | Search for the paper |
| DOI | 10.1007/s00145-001-0014-7 (link) |
| Author | Martín Abadi |
| Author | Phillip Rogaway |
@article{jofc-2002-14054,
title={Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)},
journal={J. Cryptology},
volume={15},
pages={103-127},
doi={10.1007/s00145-001-0014-7},
author={Martín Abadi and Phillip Rogaway},
year=2002
}