International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Weak Key Authenticity and the Computational Completeness of Formal Encryption

Authors:
Omer Horvitz
Virgil D. Gligor
Download:
DOI: 10.1007/978-3-540-45146-4_31 (login may be required)
URL: https://iacr.org/archive/crypto2003/27290528/27290528.pdf
Search ePrint
Search Google
Conference: CRYPTO 2003
BibTeX
@inproceedings{crypto-2003-1412,
  title={Weak Key Authenticity and the Computational Completeness of Formal Encryption},
  booktitle={Advances in Cryptology - CRYPTO 2003, 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003, Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={2729},
  pages={530-547},
  url={https://iacr.org/archive/crypto2003/27290528/27290528.pdf},
  doi={10.1007/978-3-540-45146-4_31},
  author={Omer Horvitz and Virgil D. Gligor},
  year=2003
}