Cryptology ePrint Archive: Report 2014/774
Available versions in chronological order
20141001:060719 (posted 01-Oct-2014 06:07:19 UTC)
Automated Analysis and Synthesis of Block-Cipher Modes of Operation
Alex J. Malozemoff and Jonathan Katz and Matthew D. Green
Original publication (with minor differences): 27th IEEE Computer Security Foundations Symposium, Vienna, Austria, July 19-22, 2014
[
Cryptology ePrint archive
]