Automated Analysis and Synthesis of Authenticated Encryption Schemes.

Viet Tung Hoang, Jonathan Katz, Alex J. Malozemoff

Browse the full CCS paper archive.