Papers (solidity) [4]
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
# | Title | |
1. | Proof-of-Work Sidechains Kiayias, Aggelos and Zindros, Dionysis. 2018 | |
2. | Executable Operational Semantics of Solidity Jiao, Jiao and Kan, Shuanglong and Lin, Shang-Wei and Sanan, David and Liu, Yang and Sun, Jun. 2018 | |
3. | SMT-Based Verification of Solidity Smart Contracts Alt, Leonardo and Reitwiessner, Christian. 2018 | |
4. | GASTAP: A Gas Analyzer for Smart Contracts Albert, Elvira and Gordillo, Pablo and Rubio, Albert and Sergey, Ilya. 2018 |