Fetching the paper…
Reading the bibliography…
Ethereum smart contracts are an innovation built on top of the blockchain technology, which provides a platform for automatically executing contracts in an anonymous, distributed, and trusted way.
On computable numbers, with an application to the Entscheidungsproblem
Alan M Turing · 1937
Earlier work this paper cites.
Control flow analysis
Frances E Allen · 1970
Earlier work this paper cites.
Multiuser cryptographic techniques
Whitfield Diffie and Martin E. Hellman · 1976
Earlier work this paper cites.
Symbolic execution and program testing
James C King · 1976
Earlier work this paper cites.
Pattern recognition: A statistical approach
Pierre A Devijver and Josef Kittler · 1982
Earlier work this paper cites.
How to time-stamp a digital document
Stuart Haber and W Scott Stornetta · 1990
Earlier work this paper cites.
A study of cross-validation and bootstrap for accuracy estimation and model selection
Ron Kohavi et al · 1995
Earlier work this paper cites.
Cryptographic algorithm metrics
Norman D Jorstad and TS Landgrave · 1997
Earlier work this paper cites.
Failure Mode and Effect Analysis: FMEA from Theory to Execution
D. H. Stamatis · 2003
Earlier work this paper cites.
New directions in cryptography
W. Diffie and M. Hellman · 2006
Earlier work this paper cites.
Demand-driven compositional symbolic execution
Saswat Anand, Patrice Godefroid, and Nikolai Tillmann · 2008
Cited alongside, same era.
Z3: An efficient smt solver
Leonardo De Moura and Nikolaj Bjørner · 2008
Cited alongside, same era.
Bitcoin: A primer for policymakers
Jerry Brito and Andrea Castillo · 2013
Cited alongside, same era.
Ethereum: A secure decentralised generalised transaction ledger
Gavin Wood · 2014
Cited alongside, same era.
Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction
Arvind Narayanan, Joseph Bonneau, Edward Felten, Andrew Miller, and Steven Goldfeder · 2016
Cited alongside, same era.
Making smart contracts smarter
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor · 2016
Cited alongside, same era.
Zeus: Analyzing safety of smart contracts
Sukit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharmar · 2018
Closest in time.
Finding the greedy, prodigal, and suicidal contracts at scale
Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor · 2018
Closest in time.
https://medium.com/@Pr0Ger/another-parity-wallet-hack-explained-847ca46a2e1c
Another parity wallet hack explained · 2018
Closest in time.
Mythril: Security analysis of ethereum smart contracts
ConsenSys · 2018
Closest in time.
Manticore: Symbolic execution tool
trailofbits · 2018
Closest in time.
Contractfuzzer: Fuzzing smart contracts for vulnerability detection
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Formal verification of smart contracts: Short paper
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, and Santiago Zanella-Béguelin · 2016
Cited alongside, same era.
A survey of attacks on ethereum smart contracts (sok)
Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli · 2017
Cited alongside, same era.
https://etherscan.io/
Ethereum (eth) blockchain explorer · 2018
Cited alongside, same era.
Bo Jiang, Ye Liu, and WK Chan · 2018
Closest in time.
Securify: Practical security analysis of smart contracts
Petar Tsankov, Andrei Dan, Dana Drachsler Cohen, Arthur Gervais, Florian Buenzli, and Martin Vechev · 2018
Closest in time.
https://github.com/ethereum/solidity
Solidity, the contract-oriented programming language · 2019
Closest in time.
https://daowiki.atlassian.net/wiki/spaces/DAO/pages/7209155/Attack
Attack - the dao - the dao · 2019
Closest in time.