Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Symbolically Analyzing Security Protocols using Tamarin

David Basin 1 Cas Cremers 2 Jannik Dreier 3 Ralf Sasse 1 
1 D-INFK - Department of Computer Science [ETH Zürich]
2 University of Oxford [Oxford]
3 PESTO - Proof techniques for security protocols
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Journal articles
Complete list of metadata

Cited literature [43 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-01622110
Contributor : Jannik Dreier Connect in order to contact the contributor
Submitted on : Tuesday, October 24, 2017 - 9:54:13 AM
Last modification on : Friday, February 4, 2022 - 3:32:50 AM
Long-term archiving on: : Thursday, January 25, 2018 - 12:41:39 PM

File

Vignette du document
tamarin-tool.pdf
Files produced by the author(s)

Identifiers

Collections

CNRS | INRIA | UNIV-LORRAINE | INRIA2 | LORIA | LORIA-FM

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

237

Files downloads

557