all algorand anonymity applications attacks bitcoin blockchain book bullet-proofs byzantine chainspace consensus credentials crime cryptocurrencies dag data-science ddos dex discrete-log e-voting ecdsa [ethereum] exchanges formal-methods game-theory governance key-management lattices 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 sharding sidechains signatures simple-verification-payments smart-contracts snarks solidity starks state-channels storage survey theory truebit trusted-hardware wallet whitepaper zero-knowledge zerocash zerocoin

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

1.Ethereum: a secure decentralised generalised transaction ledger Wood, Gavin. 2014
2.A Survey of Attacks on Ethereum Smart Contracts (SoK) Atzei, Nicola and Bartoletti, Massimo and Cimoli, Tiziana. 2016
3.A smart contract for boardroom voting with maximum voter privacy McCorry, Patrick and Shahandashti, Siamak F and Hao, Feng. 2017
4.Plasma: Scalable Autonomous Smart Contracts Poon, Joseph and Buterin, Vitalik. 2017
5.Finding The Greedy, Prodigal, and Suicidal Contracts at Scale Nikolic, Ivica and Kolluri, Aashish and Sergey, Ilya and Saxena, Prateek and Hobor, Aquinas. 2018
6.A scalable verification solution for blockchains Teutsch, Jason and Reitwie\ssner, Christian. 2017
7.A Semantic Framework for the Security Analysis of Ethereum smart contracts Grishchenko, Ilya and Maffei, Matteo and Schneidewind, Clara. 2018
8.Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL Amani, Sidney and B\'egel, Myriam and Bortin, Maksym and Staples, Mark. 2018
9.Ethereum - White Paper Buterin, Vitalik. 2015
10.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
11.Zero-Collateral Lotteries in Bitcoin and Ethereum Miller, Andrew and Bentov, Iddo. 2016
12.0x: An open protocol for decentralized exchange on the Ethereum blockchain Warren, Will and Bandeali, Amir. 2017
13.Low-Resource Eclipse Attacks on Ethereum’s Peer-to-Peer Network Marcus, Yuval and Heilman, Ethan and Goldberg, Sharon. 2018
14.M{\"o}bius: Trustless Tumbling for Transaction Privacy Sarah Meiklejohn and Rebekah Mercer. 2017
15.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
16.A formal verification tool for Ethereum VM Bytecode Park, Daejun and Zhang, Yi and Saxena, Manasvi and Daian, Philip and Ro\csu, Grigore. 2018
17.Loopring: A decentralized token exchange protocol Wang, Daniel and Zhou, Jay and Wang, Alex and Finestone, Matthew. 2018
18.Model-Checking of Smart Contracts Nehai, Zeinab and Piriou, Pierre-Yves and Daumas, Frederic. 2018
19.Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers Sonnino, Alberto and Al-Bassam, Mustafa and Bano, Shehar and Danezis, George. 2018
20.Ethereum Query Language Bragagnolo, Santiago and Rocha, Henrique and Denker, Marcus and Ducasse, St\'ephane. 2018
21.FairSwap: How to fairly exchange digital goods Dziembowski, Stefan and Eckey, Lisa and Faust, Sebastian. 2018
22.SMT-Based Verification of Solidity Smart Contracts Alt, Leonardo and Reitwiessner, Christian. 2018
23.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