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

Tidy: Symbolic Verification of Timed Cryptographic Protocols

Domaines

Logique en informatique [cs.LO] Cryptographie et sécurité [cs.CR]
Fichier principal
Vignette du fichier
ccs2022preprint.pdf (804.91 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Ugo Dal Lago  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03921822

Soumis le : mercredi 4 janvier 2023-10:03:00

Dernière modification le : lundi 4 novembre 2024-14:40:08

Archivage à long terme le : mercredi 5 avril 2023-18:22:24

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 UNIV-COTEDAZUR
27 Consultations
101 Téléchargements

Altmetric

Partager

More