International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Automated Analysis and Synthesis of Authenticated Encryption Schemes

Authors:
Viet Tung Hoang
Jonathan Katz
Alex J. Malozemoff
Download:
URL: https://eprint.iacr.org/2015/624
Search ePrint
Search Google
BibTeX
@article{eprint-2015-26672,
  title={Automated Analysis and Synthesis of Authenticated Encryption Schemes},
  journal={IACR Cryptology ePrint Archive},
  volume={2015},
  pages={624},
  url={https://eprint.iacr.org/2015/624},
  author={Viet Tung Hoang and Jonathan Katz and Alex J. Malozemoff},
  year=2015
}