Comparse: Provably Secure Formats for Cryptographic Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

Comparse: Provably Secure Formats for Cryptographic Protocols

Théophile Wallez
Programming securely with cryptography
Jonathan Protzenko
Microsoft Research
Karthikeyan Bhargavan
Programming securely with cryptography

Domains

Cryptography and Security [cs.CR]

Théophile Wallez  : Connect in order to contact the contributor

https://hal.science/hal-04310972

Submitted on : Monday, November 27, 2023-11:40:40 PM

Last modification on : Friday, January 26, 2024-8:35:35 AM

No file

Dates and versions

hal-04310972 , version 1 (27-11-2023)

Licence

Attribution - NonCommercial - NoDerivatives

Identifiers

Cite

Théophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan. Comparse: Provably Secure Formats for Cryptographic Protocols. CCS '23: ACM SIGSAC Conference on Computer and Communications Security, Nov 2023, Copenhagen, Denmark. pp.564-578, ⟨10.1145/3576915.3623201⟩. ⟨hal-04310972⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 ANR PRAIRIE-IA CYBERSCURITE
31 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More