ResearchDatasetsSmart ContractsSmart ContractsFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsAccess Control Vulnerability Detection553 Smart Contracts83.3Precision3Formal VerificationSmart Contracts3Verification Target Pattern1