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

#Title
Citations
1.Ethereum: a secure decentralised generalised transaction ledger Wood, Gavin. 2014
1549
2.A next-generation smart contract and decentralized application platform Buterin, Vitalik. 2014
646
3.A Survey of Attacks on Ethereum Smart Contracts (SoK) Atzei, Nicola and Bartoletti, Massimo and Cimoli, Tiziana. 2016
333
4.A smart contract for boardroom voting with maximum voter privacy McCorry, Patrick and Shahandashti, Siamak F and Hao, Feng. 2017
107
5.Plasma: Scalable Autonomous Smart Contracts Poon, Joseph and Buterin, Vitalik. 2017
96
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
89
7.Defining the ethereum virtual machine for interactive theorem provers Hirai, Yoichi. 2017
83
8.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
76
9.Securify: Practical Security Analysis of Smart Contracts Tsankov, Petar and Dan, Andrei and Cohen, Dana Drachsler and Gervais, Arthur and Buenzli, Florian and Vechev, Martin. 2018
63
10.Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL Amani, Sidney and B\'egel, Myriam and Bortin, Maksym and Staples, Mark. 2018
51
11.A Semantic Framework for the Security Analysis of Ethereum smart contracts Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara. 2018
51
12.A scalable verification solution for blockchains Teutsch, Jason and Reitwie\ssner, Christian. 2017
39
13.EthIKS: Using Ethereum to audit a CONIKS key transparency log Bonneau, Joseph. 2016
31
14.Low-Resource Eclipse Attacks on Ethereum’s Peer-to-Peer Network Marcus, Yuval and Heilman, Ethan and Goldberg, Sharon. 2018
24
15.0x: An open protocol for decentralized exchange on the Ethereum blockchain Warren, Will and Bandeali, Amir. 2017
22
16.Zero-Collateral Lotteries in Bitcoin and Ethereum Miller, Andrew and Bentov, Iddo. 2016
21
17.M{\"o}bius: Trustless Tumbling for Transaction Privacy Sarah Meiklejohn and Rebekah Mercer. 2017
20
18.A formal verification tool for Ethereum VM Bytecode Park, Daejun and Zhang, Yi and Saxena, Manasvi and Daian, Philip and Ro\csu, Grigore. 2018
15
19.Proofs-of-delay and randomness beacons in ethereum B\"unz, Benedikt and Goldfeder, Steven and Bonneau, Joseph. 2017
15
20.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
12
21.Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers Sonnino, Alberto and Al-Bassam, Mustafa and Bano, Shehar and Danezis, George. 2018
11
22.The Aztec Protocol Zachary J., Williamson. 2018
11
23.Model-Checking of Smart Contracts Nehai, Zeinab and Piriou, Pierre-Yves and Daumas, Frederic. 2018
8
24.SMT-Based Verification of Solidity Smart Contracts Alt, Leonardo and Reitwiessner, Christian. 2018
6
25.Ethereum Query Language Bragagnolo, Santiago and Rocha, Henrique and Denker, Marcus and Ducasse, St\'ephane. 2018
5
26.Loopring: A decentralized token exchange protocol Wang, Daniel and Zhou, Jay and Wang, Alex and Finestone, Matthew. 2018
5
27.Biased Nonce Sense: Lattice Attacks against Weak ECDSA Signatures in Cryptocurrencies Breitner, Joachim and Heninger, Nadia. 2019
5
28.ZoKrates - Scalable Privacy-Preserving Off-Chain Computations Jacob Eberhardt and Stefan Tai. 2018
5
29.Exploiting the laws of order in smart contracts Kolluri, Aashish and Nikolic, Ivica and Sergey, Ilya and Hobor, Aquinas and Saxena, Prateek. 2019
5
30.Zether: Towards Privacy in a Smart Contract World. B\"unz, Benedikt and Agrawal, Shashank and Zamani, Mahdi and Boneh, Dan. 2019
5
31.VeriSolid: Correct-by-Design Smart Contracts for Ethereum Mavridou, Anastasia and Laszka, Aron and Stachtiari, Emmanouela and Dubey, Abhishek. 2019
4
32.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
4
33.Beigepaper: An Ethereum Technical Specification Dameron, Micah. 2017
4
34.SoK: Transparent Dishonesty: front-running attacks on Blockchain Eskandari, Shayan and Moosavi, Seyedehmahsa and Clark, Jeremy. 2019
3
35.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
1
36.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
37.Flyclient: Super-Light Clients for Cryptocurrencies. B\"unz, Benedikt and Kiffer, Lucianna and Luu, Loi and Zamani, Mahdi. 2019
1
38.Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks Rodler, Michael and Li, Wenting and Karame, Ghassan O and Davi, Lucas. 2018
1
39.Tracing Transactions Across Cryptocurrency Ledgers Yousaf, Haaroon and Kappos, George and Meiklejohn, Sarah. 2018
0
40.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
41.solc-verify: A Modular Verifier for Solidity Smart Contracts Hajdu, \'Akos and Jovanovi\'c, Dejan. 2019
0
42.VerX: Safety Verification of Smart Contracts Permenev, Anton and Dimitrov, Dimitar and Tsankov, Petar and Drachsler-Cohen, Dana and Vechev, Martin. 2019
0
43.A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019
0