Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Wireguard protocol dataset and benchmarks · SOTA2 Research

Research Datasets

Wireguard protocol

Benchmarks

Task NameDataset NameSOTA MethodSort

Task NameDataset NameSOTA ResultTrendResults

Security protocol analysis

Wireguard protocol

47.8Average Proof Size

12

Formal Protocol Modeling

WireGuard Protocol

180Lines of Code (LoC)

4

Popular tasks

Security protocol analysis Formal Protocol Modeling

Follow for updates

Join SOTA2 Contact