Alex J. Malozemoff, Jonathan Katz, Matthew D. Green. Automated Analysis and Synthesis of Block-Cipher Modes of Operation. In IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014. pages 140-152, IEEE, 2014. [doi]
Abstract is missing.