Automated Analysis and Synthesis of Authenticated Encryption Schemes
Viet Tung Hoang, Jonathan I. Katz, Alex J. Malozemoff · 2015
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).