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

#Title
Citations
1.Ethereum: a secure decentralised generalised transaction ledger Wood, Gavin. 2014
1832
2.A next-generation smart contract and decentralized application platform Buterin, Vitalik. 2014
780
3.A survey of attacks on ethereum smart contracts (sok) Atzei, Nicola and Bartoletti, Massimo and Cimoli, Tiziana. 2017
408
4.Casper the friendly finality gadget Buterin, Vitalik and Griffith, Virgil. 2017
173
5.A smart contract for boardroom voting with maximum voter privacy McCorry, Patrick and Shahandashti, Siamak F and Hao, Feng. 2017
136
6.Finding The Greedy, Prodigal, and Suicidal Contracts at Scale Nikolic, Ivica and Kolluri, Aashish and Sergey, Ilya and Saxena, Prateek and Hobor, Aquinas. 2018
119
7.Plasma: Scalable Autonomous Smart Contracts Poon, Joseph and Buterin, Vitalik. 2017
116
8.Defining the ethereum virtual machine for interactive theorem provers Hirai, Yoichi. 2017
102
9.Decentralization in bitcoin and ethereum networks Gencer, Adem Efe and Basu, Soumya and Eyal, Ittay and Van Renesse, Robbert and Sirer, Emin G\"un. 2018
95
10.Proof-of-Burn Kostis Karantias and Aggelos Kiayias and Dionysis Zindros. 2019
82
11.A Semantic Framework for the Security Analysis of Ethereum smart contracts Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara. 2018
78
12.Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL Amani, Sidney and B\'egel, Myriam and Bortin, Maksym and Staples, Mark. 2018
73
13.Mastering ethereum: building smart contracts and dapps Antonopoulos, Andreas M and Wood, Gavin. 2018
60
14.Online detection of effectively callback free objects with applications to smart contracts Grossman, Shelly and Abraham, Ittai and Golan-Gueta, Guy and Michalevsky, Yan and Rinetzky, Noam and Sagiv, Mooly and Zohar, Yoni. 2017
53
15.Smart contracts: security patterns in the ethereum ecosystem and solidity Wohrer, Maximilian and Zdun, Uwe. 2018
46
16.teether: Gnawing at ethereum to automatically exploit smart contracts Krupp, Johannes and Rossow, Christian. 2018
46
17.Madmax: Surviving out-of-gas conditions in ethereum smart contracts Grech, Neville and Kong, Michael and Jurisevic, Anton and Brent, Lexi and Scholz, Bernhard and Smaragdakis, Yannis. 2018
46
18.A scalable verification solution for blockchains Teutsch, Jason and Reitwie\ssner, Christian. 2017
45
19.EthIKS: Using Ethereum to audit a CONIKS key transparency log Bonneau, Joseph. 2016
40
20.Simplicity: A new language for blockchains O'Connor, Russell. 2017
39
21.Setting standards for altering and undoing smart contracts Marino, Bill and Juels, Ari. 2016
37
22.Smartcheck: Static analysis of ethereum smart contracts Tikhomirov, Sergei and Voskresenskaya, Ekaterina and Ivanitskiy, Ivan and Takhaviev, Ramil and Marchenko, Evgeny and Alexandrov, Yaroslav. 2018
37
23.Vandal: A scalable security analysis framework for smart contracts Brent, Lexi and Jurisevic, Anton and Kong, Michael and Liu, Eric and Gauthier, Francois and Gramoli, Vincent and Holz, Ralph and Scholz, Bernhard. 2018
35
24.Low-Resource Eclipse Attacks on Ethereum’s Peer-to-Peer Network Marcus, Yuval and Heilman, Ethan and Goldberg, Sharon. 2018
33
25.0x: An open protocol for decentralized exchange on the Ethereum blockchain Warren, Will and Bandeali, Amir. 2017
29
26.Zero-Collateral Lotteries in Bitcoin and Ethereum Miller, Andrew and Bentov, Iddo. 2016
26
27.M{\"o}bius: Trustless Tumbling for Transaction Privacy Sarah Meiklejohn and Rebekah Mercer. 2017
22
28.A formal verification tool for Ethereum VM Bytecode Park, Daejun and Zhang, Yi and Saxena, Manasvi and Daian, Philip and Ro\csu, Grigore. 2018
21
29.Smashing ethereum smart contracts for fun and real profit Mueller, Bernhard. 2018
21
30.Proofs-of-delay and randomness beacons in ethereum B\"unz, Benedikt and Goldfeder, Steven and Bonneau, Joseph. 2017
20
31.EthIR: A Framework for High-Level Analysis of Ethereum Bytecode Albert, Elvira and Gordillo, Pablo and Livshits, Benjamin and Rubio, Albert and Sergey, Ilya. 2018
18
32.Porosity: A decompiler for blockchain-based smart contracts bytecode Suiche, Matt. 2017
18
33.Ethereum smart contracts: Security vulnerabilities and security tools Dika, Ardit. 2017
16
34.Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers Sonnino, Alberto and Al-Bassam, Mustafa and Bano, Shehar and Danezis, George. 2018
13
35.Osiris: Hunting for integer bugs in ethereum smart contracts Torres, Christof Ferreira and Sch\"utte, Julian and others. 2018
13
36.Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges Daian, Philip and Goldfeder, Steven and Kell, Tyler and Li, Yunqi and Zhao, Xueyuan and Bentov, Iddo and Breidenbach, Lorenz and Juels, Ari. 2019
12
37.The Aztec Protocol Zachary J., Williamson. 2018
12
38.Exploiting the laws of order in smart contracts Kolluri, Aashish and Nikolic, Ivica and Sergey, Ilya and Hobor, Aquinas and Saxena, Prateek. 2019
11
39.Zether: Towards Privacy in a Smart Contract World. B\"unz, Benedikt and Agrawal, Shashank and Zamani, Mahdi and Boneh, Dan. 2019
10
40.Smt-based verification of solidity smart contracts Alt, Leonardo and Reitwiessner, Christian. 2018
10
41.Model-Checking of Smart Contracts Nehai, Zeinab and Piriou, Pierre-Yves and Daumas, Frederic. 2018
9
42.ZoKrates - Scalable Privacy-Preserving Off-Chain Computations Jacob Eberhardt and Stefan Tai. 2018
9
43.Casper the friendly ghost: A correct by construction blockchain consensus protocol Zamfir, Vlad. 2017
9
44.Analyzing Ethereum's Contract Topology Kiffer, Lucianna and Levin, Dave and Mislove, Alan. 2018
8
45.Ethereum Query Language Bragagnolo, Santiago and Rocha, Henrique and Denker, Marcus and Ducasse, St\'ephane. 2018
7
46.Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Rodler, Michael and Li, Wenting and Karame, Ghassan O and Davi, Lucas. 2018
7
47.Rootstock: Bitcoin powered smart contracts Lerner, S Demian. 2015
7
48.A survey of tools for analyzing ethereum smart contracts Di Angelo, Monika and Salzer, Gernot. 2019
7
49.Loopring: A decentralized token exchange protocol Wang, Daniel and Zhou, Jay and Wang, Alex and Finestone, Matthew. 2018
6
50.Biased Nonce Sense: Lattice Attacks against Weak ECDSA Signatures in Cryptocurrencies Breitner, Joachim and Heninger, Nadia. 2019
6
51.VeriSolid: Correct-by-Design Smart Contracts for Ethereum Mavridou, Anastasia and Laszka, Aron and Stachtiari, Emmanouela and Dubey, Abhishek. 2019
6
52.Monitoring smart contracts: Contractlarva and open challenges beyond Azzopardi, Shaun and Ellul, Joshua and Pace, Gordon J. 2018
6
53.Incentives in Ethereum's Hybrid Casper Protocol Buterin, Vitalik and Reijsbergen, Daniel and Leonardos, Stefanos and Piliouras, Georgios. 2019
5
54.Beigepaper: An Ethereum Technical Specification Dameron, Micah. 2017
4
55.Incentives in casper the friendly finality gadget Buterin, Vitalik. 2017
4
56.EtherTrust: Sound static analysis of ethereum bytecode Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara. 2018
4
57.You sank my battleship! A case study to evaluate state channels as a scaling solution for cryptocurrencies McCorry, Patrick and Buckland, Chris and Bakshi, Surya and W\"ust, Karl and Miller, Andrew. 2018
3
58.SoK: Transparent Dishonesty: front-running attacks on Blockchain Eskandari, Shayan and Moosavi, Seyedehmahsa and Clark, Jeremy. 2019
3
59.Slither: a static analysis framework for smart contracts Feist, Josselin and Grieco, Gustavo and Groce, Alex. 2019
3
60.Paralysis Proofs: Safe Access-Structure Updates for Cryptocurrencies and More Fan Zhang and Philip Daian and Iddo Bentov and Ari Juels. 2018
2
61.Flyclient: Super-Light Clients for Cryptocurrencies. B\"unz, Benedikt and Kiffer, Lucianna and Luu, Loi and Zamani, Mahdi. 2019
2
62.Empirically Analyzing Ethereum's Gas Mechanism Yang, Renlord and Murray, Toby and Rimba, Paul and Parampalli, Udaya. 2019
2
63.Tracing Transactions Across Cryptocurrency Ledgers Yousaf, Haaroon and Kappos, George and Meiklejohn, Sarah. 2018
1
64.MixEth: efficient, trustless coin mixing service for Ethereum Istv\'an Andr'\as Seres and D ́aniel A. Nagy and Chris Buckland, and \'Peter Burcsi. 2019
1
65.solc-verify: A Modular Verifier for Solidity Smart Contracts Hajdu, \'Akos and Jovanovi\'c, Dejan. 2019
1
66.VerX: Safety Verification of Smart Contracts Permenev, Anton and Dimitrov, Dimitar and Tsankov, Petar and Drachsler-Cohen, Dana and Vechev, Martin. 2019
1
67.Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts Mossberg, Mark and Manzano, Felipe and Hennenfent, Eric and Groce, Alex and Grieco, Gustavo and Feist, Josselin and Brunson, Trent and Dinaburg, Artem. 2019
1
68.Broken Metre: Attacking Resource Metering in EVM Daniel Perez and Benjamin Livshits. 2019
1
69.Practical Mutation Testing for Smart Contracts Honig, Joran J and Everts, Maarten H and Huisman, Marieke. 2019
1
70.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
71.SAFEVM: A Safety Verifier for Ethereum Smart Contracts Albert, Elvira and Correas, Jes\'us and Gordillo, Pablo and Rom\'an-D\'\iez, Guillermo and Rubio, Albert. 2019
0
72.A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019
0
73.ETHDKG: Distributed Key Generation with Ethereum Smart Contracts Philipp Schindler and Aljosha Judmayer and Nicholas Stifter and Edgar Weippl. 2019
0
74.Proof-Carrying Smart Contracts Dickerson, Thomas and Gazzillo, Paul and Herlihy, Maurice and Saraph, Vikram and Koskinen, Eric. 2018
0
75.ShareLock: Mixing for Cryptocurrencies from Multiparty ECDSA Shlomovits, Omer and Seres, Istv\'an Andr\'as. 2019
0
76.Learning to Fuzz from Symbolic Execution with Application to Smart Contracts He, Jingxuan and Balunovi\'c, Mislav and Ambroladze, Nodar and Tsankov, Petar and Vechev, Martin. 2019
0
77.Gas limit aware mutation testing of smart contracts at scale Hartel, Pieter and Schumi, Richard. 2019
0
78.ZETH: On Integrating Zerocash on Ethereum Rondelet, Antoine and Zajac, Michal. 2019
0
79.WaterCarver: Anonymous Confidential Blockchain System based on Account Model Jiajun Xin and Pei Huang and Lei Chen and Xin Lai and Xiao Zhang and Wulu Li and Yongcan Wang. 2019
0