Comparse: Provably Secure Formats for Cryptographic Protocols.

Thophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan

Browse the full CCS paper archive.