Published November 14, 2023
| Version v1
Dataset
Open
Artifacts for NDSS 2024 paper "A Unified Symbolic Analysis of WireGuard"
Authors/Creators
- 1. Agence Nationale de la Sécurité des Systèmes d'Information (ANSSI)
-
2.
Université Clermont Auvergne
Description
This project gathers symbolic analyses of WireGuard protocol, with the help of Sapic+, Tamarin and ProVerif proof assistants. The following properties are verified: agreement, secrecy and anonymity.
Files
wireguard_analysis.zip
Files
(6.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f4c8049d9e1f2e43bb1ddb75d7482a34
|
6.0 MB | Preview Download |
Additional details
Dates
- Accepted
-
2023-11-14