Comparse: Provably Secure Formats for Cryptographic Protocols

Théophile Wallez; Jonathan Protzenko; Karthikeyan Bhargavan

doi:10.1145/3576915.3623201

Conference Papers Year : 2023

Comparse: Provably Secure Formats for Cryptographic Protocols

(1) , (2) , (1)

1
2

Théophile Wallez

Function : Author
PersonId : 1317212
ORCID : 0009-0007-0547-129X

Programming securely with cryptography

Jonathan Protzenko

Function : Author
PersonId : 1213275
ORCID : 0000-0001-7347-3050

Microsoft Research

Karthikeyan Bhargavan

Function : Author
PersonId : 8036
IdHAL : karthik
ORCID : 0000-0002-3152-8997
IdRef : 198350155

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 : Tuesday, November 5, 2024-1:14:02 PM

Dates and versions

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

Licence

Attribution - NonCommercial - NoDerivatives

Identifiers

HAL Id : hal-04310972 , version 1
DOI : 10.1145/3576915.3623201

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

67 View

0 Download

Comparse: Provably Secure Formats for Cryptographic Protocols

Domains

Dates and versions

Licence

Identifiers

Cite

Export

Collections

Altmetric

Share