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

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

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

Identifiers

Collections

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⟩

Share

Metrics

Record views

237

Files downloads

557