Artifacts for NDSS 2024 paper "A Unified Symbolic Analysis of WireGuard"

Name: Artifacts for NDSS 2024 paper "A Unified Symbolic Analysis of WireGuard"
Creator: Agence Nationale de la Sécurité des Systèmes d'Information; Université Clermont Auvergne
Published: 2023-11-14T00:00:00+08:00

Zenodo2023-11-14 更新2026-04-07 收录

WireGuard协议形式化验证

网络安全协议符号分析

数据链接：

https://zenodo.org/doi/10.5281/zenodo.10126619 数据链接链接失效反馈

官方服务：

资源简介：

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.

提供机构：

Agence Nationale de la Sécurité des Systèmes d'Information; Université Clermont Auvergne

创建时间：

2023-11-14

Artifacts for NDSS 2024 paper "A Unified Symbolic Analysis of WireGuard"

资源简介：

相关数据集