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-04-21

#Title
Citations
1.Model-Checking of Smart Contracts Nehai, Zeinab and Piriou, Pierre-Yves and Daumas, Frederic. 2018
4
2.On the specification and verification of atomic swap smart contracts⋆ van der Meyden, Ron. 2018
0