ResearchDatasetsSmart ContractsFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsAccess Control Vulnerability Detection553 Smart Contracts83.3Precision3Formal VerificationSmart Contracts3Verification Target Pattern1