Comparse: Provably Secure Formats for Cryptographic Protocols

ePrint Report: Comparse: Provably Secure Formats for Cryptographic Protocols

Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan

Data formats used for cryptographic inputs have historically been the source of many attacks on cryptographic protocols, but their security guarantees remain poorly studied. One reason is that, due to their low-level nature, formats often fall outside of the security model. Another reason is that studying all of the uses of all of the formats within one protocol is too difficult to do by hand, …

attacks cryptographic data eprint report inputs low nature protocols report security