Communication Dans Un Congrès
Année : 2023
Théophile Wallez : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04310972
Soumis le : lundi 27 novembre 2023-23:40:40
Dernière modification le : vendredi 26 janvier 2024-08:35:35
Dates et versions
Licence
Identifiants
- HAL Id : hal-04310972 , version 1
- DOI : 10.1145/3576915.3623201
Citer
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⟩
Collections
30
Consultations
0
Téléchargements