Exploiting symmetries when proving equivalence properties for security protocols (Technical report) - Inria - Institut national de recherche en sciences et technologies du numérique 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
Steve Kremer
Fichier principal
Vignette du fichier
main.pdf (1.9 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

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⟩
140 Consultations
212 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More