Automated Analysis and Synthesis of Authenticated Encryption Schemes

  title={Automated Analysis and Synthesis of Authenticated Encryption Schemes},
  author={Viet Tung Hoang and Jonathan Katz and Alex J. Malozemoff},
  booktitle={IACR Cryptology ePrint Archive},
Authenticated encryption (AE) schemes are symmetric-key encryption schemes ensuring strong notions of confidentiality and integrity. Although various AE schemes are known, there remains significant interest in developing schemes that are more efficient, meet even stronger security notions (e.g., misuse-resistance), or satisfy certain non-cryptographic properties (e.g., being patent-free). We present an automated approach for analyzing and synthesizing blockcipher-based AE schemes… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS