CryptoDB
Automated Analysis and Synthesis of Authenticated Encryption Schemes
Authors: | |
---|---|
Download: |
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 }