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 <>
Submitted on : Tuesday, October 24, 2017 - 9:54:13 AM
Last modification on : Thursday, May 27, 2021 - 1:54:06 PM
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

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

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

Share

Metrics

Record views

391

Files downloads

1068