Formal Protocol Modeling on WireGuard Protocol
180Lines of Code (LoC)AutoTam
Evaluation results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| AutoTamProtocol=WireGuard2026.06 | 180 | — | — | — | — | — | |
| Donenfeld and MilnerProtocol=WireGuard2026.06 | 225 | — | — | — | — | — | |
| Arquint et al.Protocol=WireGuard2026.06 | 293 | — | — | — | — | — | |
| Lafourcade et al.Protocol=WireGuard2026.06 | 371 | — | — | — | — | — |