Viet Tung Hoang, Jonathan Katz, Alex J. Malozemoff. Automated Analysis and Synthesis of Authenticated Encryption Schemes. In Indrajit Ray, Ninghui Li, Christopher Kruegel, editors, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-6, 2015. pages 84-95, ACM, 2015. [doi]
Abstract is missing.