Exploiting symmetries when proving equivalence properties for security protocols (Technical report) - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Exploiting symmetries when proving equivalence properties for security protocols (Technical report)

Vincent Cheval
Proof techniques for security protocols
Steve Kremer
Proof techniques for security protocols
CV
Itsaka Rakotonirina
Proof techniques for security protocols

Domaines

Informatique [cs] Cryptographie et sécurité [cs.CR]
Fichier principal
Vignette du fichier
main.pdf (1.9 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Itsaka Rakotonirina  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02267866

Soumis le : lundi 19 août 2019-20:50:47

Dernière modification le : lundi 11 septembre 2023-17:41:19

Archivage à long terme le : jeudi 9 janvier 2020-20:18:10

Télécharger pour visualiser

Dates et versions

hal-02267866 , version 1 (19-08-2019)
hal-02267866 , version 2 (27-08-2019)
hal-02267866 , version 3 (17-04-2020)

Identifiants

  • HAL Id : hal-02267866 , version 1

Citer

Vincent Cheval, Steve Kremer, Itsaka Rakotonirina. Exploiting symmetries when proving equivalence properties for security protocols (Technical report). 2019. ⟨hal-02267866v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
139 Consultations
207 Téléchargements

Partager

Gmail Facebook X LinkedIn More