Empirical Software Engineering · 2022 · 27 citations · 16 references
ComputingComputer ScienceCybersecurityContractsCryptographyFormal MethodsData-flow AnalysisDeductive VerificationProtocol AnalysisProtocol VerificationSecurity Protocol VerificationSmart ContractsFormal Specification Of ContractsFormal Verification Of Cryptographic ProtocolsFormal Verification Tools For Cryptographic ProtocolsSmart Contract Execution ModelsSmart Contract Security
16
Making Smart Contracts Smarter
Loi Luu, Duc-Hiep Chu, Hrishi Olickel et al. · 2016 · 2.2K citations
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen et al. · 2018 · 1K citations
Slither: A Static Analysis Framework for Smart Contracts
2019 · 758 citations · Full text
ZEUS: Analyzing Safety of Smart Contracts
Sukrit Kalra, Seep Goel, Mohan Dhawan et al. · 2018 · 710 citations · Full text
Sergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy et al. · 2018 · 652 citations · Full text