ResearchTasksFormal Protocol ModelingFormal Protocol ModelingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedWireGuard ProtocolAutoTam180Lines of Code (LoC)4Jun 19, 2026Noise ProtocolGirol et al.311Lines of Code (LoC)1Jun 19, 2026