Tidy: Symbolic Verification of Timed Cryptographic Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Dates et versions

hal-03921822 , version 1 (04-01-2023)

Identifiants

Citer

Gilles Barthe, Ugo Dal Lago, Giulio Malavolta, Itsaka Rakotonirina. Tidy: Symbolic Verification of Timed Cryptographic Protocols. CCS 2022 - 2022 ACM SIGSAC Conference on Computer and Communications Security, Nov 2022, Los Angeles, CA, United States. pp.263-276, ⟨10.1145/3548606.3559343⟩. ⟨hal-03921822⟩
22 Consultations
87 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More