Published August 19, 2022
| Version v1.0.0
Software
Open
Sound Verification of Security Protocols: From Design to Interoperable Implementations
Creators
- 1. Department of Computer Science, ETH Zurich, Switzerland
- 2. Univ Rennes, CNRS, IRISA, France
Description
Artifact for "Sound Verification of Security Protocols: From Design to Interoperable Implementations" containing the specification generation tool, the Diffie-Hellman (DH) protocol case study in Java for VeriFast and Go for Gobra, and the WireGuard case study in Go for Gobra. Both case studies also contain the corresponding Tamarin protocol model.
Files
.github.zip
Files
(102.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:81bd5ffbe0cf64cea7900f4b5c8951e0
|
4.9 kB | Preview Download |
|
md5:edb603336d1ce110b22bcdd30144a2b1
|
145.8 kB | Preview Download |
|
md5:9741c346eef56131163e13b9db1241b3
|
16.7 kB | Download |
|
md5:7cd6851e502f6327f32fdf873d19b793
|
1.7 kB | Preview Download |
|
md5:b8a7cfa74ea54d99c558c866601d98aa
|
17.8 MB | Preview Download |
|
md5:b1edaa14384c60367c72cda5cd4ddff4
|
3.2 kB | Preview Download |
|
md5:6be79f6bd85d8b11ddf98c35e8034f97
|
84.4 MB | Preview Download |