Sept. 18, 2023, 7:18 a.m. |


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

Business Information Security Officer

@ Metrolink | Los Angeles, CA

Cyber Security Consultant

@ Cybit | Belfast, Northern Ireland, United Kingdom

Physical Operations Specialist, AWS Security Operations Center

@ | Herndon, Virginia, USA

Product Cybersecurity Officer (m/w/div.)

@ Bosch Group | Wien, Linz oder Graz, Austria

SC2023-003098 Security Risk Consultant 1 (NS) - WED 11 Oct

@ EMW, Inc. | Braine-l'Alleud, Wallonia, Belgium

Sr Power Design Engineer (Hardware - NetSec)

@ Palo Alto Networks | Santa Clara, CA, United States