all algorand anonymity applications attacks bitcoin blockchain book bullet-proofs byzantine chainspace consensus credentials crime cryptocurrencies dag data-science ddos discrete-log e-voting ecdsa ethereum exchanges formal-methods game-theory governance key-management lattices layer2 litecoin mining model-checking monero network ouroboros pki post-quantum privacy proof-of-* proof-of-space proof-of-stake proof-of-work provable-security ripple scalability secure-multiparty-computation sidechains signatures simple-verification-payments [smart-contracts] snarks solidity starks storage survey theory truebit trusted-computing wallet whitepaper zero-knowledge zerocash zerocoin


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

#Title
Citations
1.Ethereum: a secure decentralised generalised transaction ledger Wood, Gavin. 2014
1203
2.Hawk: The blockchain model of cryptography and privacy-preserving smart contracts Kosba, Ahmed and Miller, Andrew and Shi, Elaine and Wen, Zikai and Papamanthou, Charalampos. 2016
617
3.Formalizing and securing relationships on public networks Szabo, Nick. 1997
466
4.Making smart contracts smarter Luu, Loi and Chu, Duc-Hiep and Olickel, Hrishi and Saxena, Prateek and Hobor, Aquinas. 2016
358
5.A Survey of Attacks on Ethereum Smart Contracts (SoK) Atzei, Nicola and Bartoletti, Massimo and Cimoli, Tiziana. 2016
243
6.Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab Delmolino, Kevin and Arnett, Mitchell and Kosba, Ahmed and Miller, Andrew and Shi, Elaine. 2016
212
7.Town crier: An authenticated data feed for smart contracts Zhang, Fan and Cecchetti, Ethan and Croman, Kyle and Juels, Ari and Shi, Elaine. 2016
163
8.Formal verification of smart contracts: Short paper Bhargavan, Karthikeyan and Delignat-Lavaud, Antoine and Fournet, C\'edric and Gollamudi, Anitha and Gonthier, Georges and Kobeissi, Nadim and Kulatova, Natalia and Rastogi, Aseem and Sibut-Pinote, Thomas and Swamy, Nikhil and others. 2016
153
9.An empirical analysis of smart contracts: platforms, applications, and design patterns Bartoletti, Massimo and Pompianu, Livio. 2017
117
10.Defining the ethereum virtual machine for interactive theorem provers Hirai, Yoichi. 2017
67
11.Finding The Greedy, Prodigal, and Suicidal Contracts at Scale Nikolic, Ivica and Kolluri, Aashish and Sergey, Ilya and Saxena, Prateek and Hobor, Aquinas. 2018
56
12.Zeus: Analyzing safety of smart contracts Kalra, Sukrit and Goel, Seep and Dhawan, Mohan and Sharma, Subodh. 2018
47
13.Under-optimized smart contracts devour your money Chen, Ting and Li, Xiaoqi and Luo, Xiapu and Zhang, Xiaosong. 2017
46
14.KEVM: A Complete Semantics of the Ethereum Virtual Machine Hildenbrandt, Everett and Saxena, Manasvi and Zhu, Xiaoran and Rodrigues, Nishant and Daian, Philip and Guth, Dwight and Rosu, Grigore. 2017
38
15.SCPKI: A smart contract-based PKI and identity system Al-Bassam, Mustafa. 2017
38
16.A concurrent perspective on smart contracts Sergey, Ilya and Hobor, Aquinas. 2017
35
17.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
34
18.Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL Amani, Sidney and B\'egel, Myriam and Bortin, Maksym and Staples, Mark. 2018
33
19.A Semantic Framework for the Security Analysis of Ethereum smart contracts Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara. 2018
33
20.A scalable verification solution for blockchains Teutsch, Jason and Reitwie\ssner, Christian. 2017
33
21.Designing secure Ethereum smart contracts: A finite state machine based approach Mavridou, Anastasia and Laszka, Aron. 2017
26
22.Scilla: a Smart Contract Intermediate-Level LAnguage Sergey, Ilya and Kumar, Amrit and Hobor, Aquinas. 2018
19
23.Validation of decentralised smart contracts through game theory and formal methods Bigi, Giancarlo and Bracciali, Andrea and Meacci, Giovanni and Tuosto, Emilio. 2015
19
24.Bitcoin covenants M\"oser, Malte and Eyal, Ittay and Sirer, Emin G\"un. 2016
17
25.0x: An open protocol for decentralized exchange on the Ethereum blockchain Warren, Will and Bandeali, Amir. 2017
17
26.Obsidian: a safer blockchain programming language Coblenz, Michael. 2017
13
27.M{\"o}bius: Trustless Tumbling for Transaction Privacy Sarah Meiklejohn and Rebekah Mercer. 2017
13
28.Arbitrum: scalable, private smart contracts Kalodner, Harry and Goldfeder, Steven and Chen, Xiaoqi and Weinberg, S Matthew and Felten, Edward W. 2018
12
29.Formal verification of Deed contract in Ethereum name service Hirai, Yoichi. 2016
12
30.SoK: unraveling Bitcoin smart contracts Nicola Atzei and Massimo Bartoletti and Tiziana Cimoli and Stefano Lande and Roberto Zunino. 2018
11
31.ContractFuzzer: fuzzing smart contracts for vulnerability detection Jiang, Bo and Liu, Ye and Chan, WK. 2018
11
32.Raziel: private and verifiable smart contracts on blockchains S\'anchez, David Cerezo. 2018
9
33.A formal verification tool for Ethereum VM Bytecode Park, Daejun and Zhang, Yi and Saxena, Manasvi and Daian, Philip and Ro\csu, Grigore. 2018
9
34.Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts Breidenbach, Lorenz and Cornell Tech, IC and Daian, Philip and Tramer, Florian and Juels, Ari. 2018
8
35.Enhancing Bitcoin transactions with covenants O’Connor, Russell and Piekarska, Marta. 2017
8
36.Erays: Reverse engineering ethereum’s opaque smart contracts Zhou, Yi and Kumar, Deepak and Bakshi, Surya and Mason, Joshua and Miller, Andrew and Bailey, Michael. 2018
8
37.FairSwap: How to fairly exchange digital goods Dziembowski, Stefan and Eckey, Lisa and Faust, Sebastian. 2018
8
38.BitML: a calculus for Bitcoin smart contracts Massimo Bartoletti and Roberto Zunino. 2018
6
39.Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains Parizi, Reza M and Dehghantanha, Ali and Choo, Kim-Kwang Raymond and Singh, Amritraj. 2018
6
40.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
5
41.Model-Checking of Smart Contracts Nehai, Zeinab and Piriou, Pierre-Yves and Daumas, Frederic. 2018
5
42.Contracts over Smart Contracts: Recovering from Violations Dynamically Colombo, Christian and Ellul, Joshua and Pace, Gordon J. 2018
4
43.Proof-of-Work Sidechains Kiayias, Aggelos and Zindros, Dionysis. 2018
4
44.SMT-Based Verification of Solidity Smart Contracts Alt, Leonardo and Reitwiessner, Christian. 2018
3
45.Fun with Bitcoin smart contracts Massimo Bartoletti and Tiziana Cimoli and Roberto Zunino. 2018
2
46.Zexe: Enabling decentralized private computation Bowe, S and Chiesa, A and Green, M and Miers, I and Mishra, P and Wu, H. 2018
2
47.Executable Operational Semantics of Solidity Jiao, Jiao and Kan, Shuanglong and Lin, Shang-Wei and Sanan, David and Liu, Yang and Sun, Jun. 2018
1
48.Towards a Smart Contract-based, Decentralized, Public-Key Infrastructure Patsonakis, Christos and Samari, Katerina and Roussopoulos, Mema and Kiayias, Aggelos. 2017
1
49.Loopring: A decentralized token exchange protocol Wang, Daniel and Zhou, Jay and Wang, Alex and Finestone, Matthew. 2018
1
50.GASTAP: A Gas Analyzer for Smart Contracts Albert, Elvira and Gordillo, Pablo and Rubio, Albert and Sergey, Ilya. 2018
1
51.Verifying liquidity of Bitcoin contracts Bartoletti, Massimo and Zunino, Roberto. 2018
1
52.VeriSolid: Correct-by-Design Smart Contracts for Ethereum Mavridou, Anastasia and Laszka, Aron and Stachtiari, Emmanouela and Dubey, Abhishek. 2019
1
53.SoK: Transparent Dishonesty: front-running attacks on Blockchain Eskandari, Shayan and Moosavi, Seyedehmahsa and Clark, Jeremy. 2019
1
54.Contractvm: decentralized applications on Bitcoin Bartoletti, Massimo and Gessa, Davide and Podda, Alessandro Sebastian. 2018
0
55.Temporal Properties of Smart Contracts Sergey, Ilya and Kumar, Amrit and Hobor, Aquinas. 2018
0
56.On the specification and verification of atomic swap smart contracts⋆ van der Meyden, Ron. 2018
0
57.The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts Torres, Christof Ferreira and Steichen, Mathis. 2019
0
58.Precise Attack Synthesis for Smart Contracts Feng, Yu and Torlak, Emina and Bodik, Rastislav. 2019
0
59.FastKitten: Practical Smart Contracts on Bitcoin Das, Poulami and Eckey, Lisa and Frassetto, Tommaso and Gens, David and Host\'akov\'a, Kristina and Jauernig, Patrick and Faust, Sebastian and Sadeghi, Ahmad-Reza. 2019
0
60.TEX - A Securely Scalable Trustless Exchange Rami Khalil and Arthur Gervais and Guillaume Felley. 2019
0
61.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
0