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 2018-12-08

1.Executable Operational Semantics of Solidity Jiao, Jiao and Kan, Shuanglong and Lin, Shang-Wei and Sanan, David and Liu, Yang and Sun, Jun. 2018
2.SMT-Based Verification of Solidity Smart Contracts Alt, Leonardo and Reitwiessner, Christian. 2018
3.Proof-of-Work Sidechains Kiayias, Aggelos and Zindros, Dionysis. 2018
4.GASTAP: A Gas Analyzer for Smart Contracts Albert, Elvira and Gordillo, Pablo and Rubio, Albert and Sergey, Ilya. 2018