A curated list of papers ordered by number of citations. Last updated 2019-11-11

#Title
Citations
1.Smart contracts: security patterns in the ethereum ecosystem and solidity Wohrer, Maximilian and Zdun, Uwe. 2018
46
2.Smashing ethereum smart contracts for fun and real profit Mueller, Bernhard. 2018
21
3.Ethereum smart contracts: Security vulnerabilities and security tools Dika, Ardit. 2017
16
4.Smt-based verification of solidity smart contracts Alt, Leonardo and Reitwiessner, Christian. 2018
10
5.Proof-of-Work Sidechains Kiayias, Aggelos and Zindros, Dionysis. 2018
9
6.GASTAP: A Gas Analyzer for Smart Contracts Albert, Elvira and Gordillo, Pablo and Rubio, Albert and Sergey, Ilya. 2018
8
7.VeriSolid: Correct-by-Design Smart Contracts for Ethereum Mavridou, Anastasia and Laszka, Aron and Stachtiari, Emmanouela and Dubey, Abhishek. 2019
6
8.Executable Operational Semantics of Solidity Jiao, Jiao and Kan, Shuanglong and Lin, Shang-Wei and Sanan, David and Liu, Yang and Sun, Jun. 2018
5
9.Slither: a static analysis framework for smart contracts Feist, Josselin and Grieco, Gustavo and Groce, Alex. 2019
3
10.solc-verify: A Modular Verifier for Solidity Smart Contracts Hajdu, \'Akos and Jovanovi\'c, Dejan. 2019
1
11.Practical Mutation Testing for Smart Contracts Honig, Joran J and Everts, Maarten H and Huisman, Marieke. 2019
1
12.IELE: a rigorously designed language and tool ecosystem for the blockchain Kasampalis, Theodoros and Guth, Dwight and Moore, Brandon and Șerb\uanuț\ua, Traian Florin and Zhang, Yi and Filaretti, Daniele and Șerb\uanuț\ua, Virgil and Johnson, Ralph and Ro\csu, Grigore. 2019
1
13.A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019
0
14.Deviant: A Mutation Testing Tool for Solidity Smart Contracts Chapman, Patrick. 2019
0