ResearchDatasetsWireguard protocolWireguard protocolFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSecurity protocol analysisWireguard protocol47.8Average Proof Size12Formal Protocol ModelingWireGuard Protocol180Lines of Code (LoC)4