A curated list of papers ordered by number of citations. Last updated 2020-01-21

#Title
Citations
1.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
274
2.Securify: Practical security analysis of smart contracts Tsankov, Petar and Dan, Andrei and Drachsler-Cohen, Dana and Gervais, Arthur and Buenzli, Florian and Vechev, Martin. 2018
137
3.Defining the ethereum virtual machine for interactive theorem provers Hirai, Yoichi. 2017
111
4.A Semantic Framework for the Security Analysis of Ethereum smart contracts Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara. 2018
97
5.Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL Amani, Sidney and B\'egel, Myriam and Bortin, Maksym and Staples, Mark. 2018
85
6.A concurrent perspective on smart contracts Sergey, Ilya and Hobor, Aquinas. 2017
58
7.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
57
8.Scilla: a Smart Contract Intermediate-Level LAnguage Sergey, Ilya and Kumar, Amrit and Hobor, Aquinas. 2018
52
9.Designing secure Ethereum smart contracts: A finite state machine based approach Mavridou, Anastasia and Laszka, Aron. 2017
52
10.Simplicity: A new language for blockchains O'Connor, Russell. 2017
48
11.Validation of decentralised smart contracts through game theory and formal methods Bigi, Giancarlo and Bracciali, Andrea and Meacci, Giovanni and Tuosto, Emilio. 2015
40
12.Mechanising Blockchain Consensus P\^\irlea, George and Sergey, Ilya. 2018
31
13.Modeling bitcoin contracts by timed automata Andrychowicz, Marcin and Dziembowski, Stefan and Malinowski, Daniel and Mazurek, \Lukasz. 2014
28
14.Formal verification of smart contracts based on users and blockchain behaviors models Abdellatif, Tesnim and Brousmiche, Kei-L\'eo. 2018
28
15.A formal verification tool for Ethereum VM Bytecode Park, Daejun and Zhang, Yi and Saxena, Manasvi and Daian, Philip and Ro\csu, Grigore. 2018
24
16.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
21
17.Raziel: private and verifiable smart contracts on blockchains S\'anchez, David Cerezo. 2018
19
18.Towards safer smart contracts: A survey of languages and verification methods Harz, Dominik and Knottenbelt, William. 2018
17
19.Formal verification of Deed contract in Ethereum name service Hirai, Yoichi. 2016
16
20.Exploiting the laws of order in smart contracts Kolluri, Aashish and Nikolic, Ivica and Sergey, Ilya and Hobor, Aquinas and Saxena, Prateek. 2019
13
21.Model-Checking of Smart Contracts Nehai, Zeinab and Piriou, Pierre-Yves and Daumas, Frederic. 2018
12
22.Smt-based verification of solidity smart contracts Alt, Leonardo and Reitwiessner, Christian. 2018
12
23.Marlowe: Financial contracts on blockchain Seijas, Pablo Lamela and Thompson, Simon. 2018
12
24.Smart contracts and opportunities for formal methods Miller, Andrew and Cai, Zhicheng and Jha, Somesh. 2018
11
25.VeriSolid: Correct-by-Design Smart Contracts for Ethereum Mavridou, Anastasia and Laszka, Aron and Stachtiari, Emmanouela and Dubey, Abhishek. 2019
9
26.Automated Verification of Electrum Wallet Mathieu Turuani and Thomas Voegtlin and Micha\"el Rusinowitch. 2016
8
27.Temporal Properties of Smart Contracts Sergey, Ilya and Kumar, Amrit and Hobor, Aquinas. 2018
7
28.VerX: Safety Verification of Smart Contracts Permenev, Anton and Dimitrov, Dimitar and Tsankov, Petar and Drachsler-Cohen, Dana and Vechev, Martin. 2019
6
29.Monitoring smart contracts: Contractlarva and open challenges beyond Azzopardi, Shaun and Ellul, Joshua and Pace, Gordon J. 2018
6
30.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
31.Formal Specification and Verification of Smart Contracts for Azure Blockchain Lahiri, Shuvendu K and Chen, Shuo and Wang, Yuepeng and Dillig, Isil. 2018
4
32.On the specification and verification of atomic swap smart contracts⋆ van der Meyden, Ron. 2018
3
33.solc-verify: A Modular Verifier for Solidity Smart Contracts Hajdu, \'Akos and Jovanovi\'c, Dejan. 2019
3
34.Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts Bernardo, Bruno and Cauderlier, Rapha\"el and Hu, Zhenlei and Pesin, Basile and Tesson, Julien. 2019
3
35.Safer smart contract programming with Scilla Sergey, Ilya and Nagaraj, Vaivaswatha and Johannsen, Jacob and Kumar, Amrit and Trunov, Anton and Hao, Ken Chan Guan. 2019
3
36.Smart Contract Interactions in Coq Nielsen, Jakob Botsch and Spitters, Bas. 2019
2
37.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
2
38.Unraveling recursion: compiling an IR with recursion to system F Jones, Michael Peyton and Gkoumas, Vasilis and Kireev, Roman and MacKenzie, Kenneth and Nester, Chad and Wadler, Philip. 2019
2
39.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
1
40.A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019
1
41.Proof-Carrying Smart Contracts Dickerson, Thomas and Gazzillo, Paul and Herlihy, Maurice and Saraph, Vikram and Koskinen, Eric. 2018
1
42.Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol Betarte, Gustavo and Cristi\'a, Maximiliano and Luna, Carlos and Silveira, Adri\'an and Zanarini, Dante. 2019
1
43.What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? Groce, Alex and Feist, Josselin and Grieco, Gustavo and Colburn, Michael. 2019
1
44.Developing secure Bitcoin contracts with BitML Atzei, Nicola and Bartoletti, Massimo and Lande, Stefano and Yoshida, Nobuko and Zunino, Roberto. 2019
1
45.Toychain: Formally Verified Blockchain Consensus George P\^ırlea. 2019
0
46.Contingent payments on a public ledger: models and reductions for automated verification. Bursuc, Sergiu and Kremer, Steve. 2019
0
47.VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts So, Sunbeom and Lee, Myungho and Park, Jisu and Lee, Heejo and Oh, Hakjoo. 2019
0
48.MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract Zhang, William and Banescu, Sebastian and Pasos, Leodardo and Stewart, Steven and Ganesh, Vijay. 2019
0
49.Albert, an intermediate smart-contract language for the Tezos blockchain Bernardo, Bruno and Cauderlier, Rapha\"el and Pesin, Basile and Tesson, Julien. 2020
0
50.Cross-Chain Payment Protocols with Success Guarantees van Glabbeek, Rob and Gramoli, Vincent and Tholoniat, Pierre. 2019
0
51.Formal specification of a security framework for smart contracts Mandrykin, Mikhail and O'Shannessy, Jake and Payne, Jacob and Shchepetkov, Ilya. 2020
0