Skip to content
Snippets Groups Projects
Commit 6acfa073 authored by Ruhault's avatar Ruhault
Browse files

readme

parent e59387a3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 10 deletions
readme.md
+ 1
− 10
View file @ 6acfa073
# Artifacts of research paper "A Unified Symbolic Analysis of WireGuard"[@lmr2024], co-authored by Pascal Lafourcade, Dhekra Mahmoud and Sylvain Ruhault, for NDSS 2024 Conference
# Artifacts of research paper "A Unified Symbolic Analysis of WireGuard", co-authored by Pascal Lafourcade, Dhekra Mahmoud and Sylvain Ruhault, for NDSS 2024 Conference
This project gathers symbolic analyses of WireGuard[^0] protocol, with the help of Sapic+, Tamarin and ProVerif proof assistants. The following properties are verified: agreement, secrecy and anonymity.
......@@ -250,12 +250,3 @@ Table below provide performances for agreement and secrecy properties evaluation
[^7]: https://www.gnu.org/software/parallel/
[^8]: https://docs.docker.com/engine/install/}{https://docs.docker.com/engine/install/
[^9]: https://ubuntu.com/download/server
---
title: "A Unified Symbolic Analysis of WireGuard"
author: "Pascal Lafourcade, Dhekra Mahmoud and Sylvain Ruhault"
date: '2023-11-14'
bibliography: biblio.bib
output: html_document
---
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment