Symbolically Analyzing Security Protocols using Tamarin

David Basin; Cas Cremers; Jannik Dreier; Ralf Sasse

doi:10.1145/3157831.3157835

Article Dans Une Revue ACM SIGLOG News Année : 2017

Symbolically Analyzing Security Protocols using Tamarin

(1) , (2) , (3) , (1)

1
2
3

David Basin

Fonction : Auteur

Department of Computer Science [ETH Zürich]

Cas Cremers

Fonction : Auteur

University of Oxford

Jannik Dreier

Fonction : Auteur
PersonId : 5211
IdHAL : jannik-dreier
ORCID : 0000-0002-1026-3360
IdRef : 184491827

Proof techniques for security protocols

CV

Ralf Sasse

Fonction : Auteur

Department of Computer Science [ETH Zürich]

Domaines

Cryptographie et sécurité [cs.CR]

Fichier principal

tamarin-tool.pdf (3.91 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

Jannik Dreier : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01622110

Soumis le : mardi 24 octobre 2017-09:54:13

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

Archivage à long terme le : jeudi 25 janvier 2018-12:41:39

Dates et versions

hal-01622110 , version 1 (24-10-2017)

Identifiants

HAL Id : hal-01622110 , version 1
DOI : 10.1145/3157831.3157835

Citer

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse. Symbolically Analyzing Security Protocols using Tamarin. ACM SIGLOG News, 2017, ⟨10.1145/3157831.3157835⟩. ⟨hal-01622110⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM

300 Consultations

762 Téléchargements

Symbolically Analyzing Security Protocols using Tamarin

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager