Tidy: Symbolic Verification of Timed Cryptographic Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Dates and versions

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

Identifiers

Cite

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⟩
15 View
50 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More