Cryptology ePrint Archive: Report 2015/624
Available versions in chronological order
20150630:183720 (posted 30-Jun-2015 18:37:20 UTC)
Automated Analysis and Synthesis of Authenticated Encryption Schemes
Viet Tung Hoang and Jonathan Katz and Alex J. Malozemoff
20150812:140937 (posted 12-Aug-2015 14:09:37 UTC)
Automated Analysis and Synthesis of Authenticated Encryption Schemes
Viet Tung Hoang and Jonathan Katz and Alex J. Malozemoff
Original publication (with major differences): ACM CCS 2015
[
Cryptology ePrint archive
]