ResearchDatasetsTamarin Security Protocols SuiteTamarin Security Protocols SuiteFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSecurity Protocol VerificationTamarin Security Protocols Suite0.4Wall-clock Time127