Fetching the paper…
Reading the bibliography…
Smart contracts---stateful executable objects hosted on blockchains like Ethereum---carry billions of dollars worth of coins and cannot be updated once deployed.
K. L. McMillan, “Interpolants and Symbolic Model Checking,” in
2007
Earlier work this paper cites.
S. Nakamoto, “Bitcoin: A peer-to-peer electronic cash system,” 2008. [Online]. Available:
2008
Earlier work this paper cites.
L. M. de Moura and N. Bjørner, “Z3: an efficient SMT solver,” in
2008
Earlier work this paper cites.
P. Godefroid, “Higher-order test generation,” in
2011
Earlier work this paper cites.
J. Filliâtre and A. Paskevich, “Why3 - Where Programs Meet Provers,” in
2013
Earlier work this paper cites.
A. Gurfinkel, T. Kahsai, A. Komuravelli, and J. A. Navas, “The SeaHorn Verification Framework,” in
2015
Earlier work this paper cites.
C. Reitwiessner, “Formal verification for solidity contracts,” 2015. [Online]. Available:
2015
Earlier work this paper cites.
L. Luu, D. Chu, H. Olickel, P. Saxena, and A. Hobor, “Making smart contracts smarter,” in
2016
Earlier work this paper cites.
M. del Castillo, “The DAO Attacked: Code Issue Leads to $60 Million Ether Theft,” June 17, 2016
2016
Earlier work this paper cites.
K. Delmolino, M. Arnett, A. E. Kosba, A. Miller, and E. Shi, “Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab,” in
2016
Earlier work this paper cites.
E. G. Sirer, “Reentrancy Woes in Smart Contracts.” [Online]. Available:
2016
Earlier work this paper cites.
K. Bhargavan, A. Delignat-Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N. Kulatova, A. Rastogi, T. Sibut-Pinote, N. Swamy, and S. Zanella-Béguelin, “Formal verification of smart contracts: Short paper,” in
2016
Earlier work this paper cites.
J. Pettersson and R. Edström, “Safer Smart Contracts through Type-Driven Development,” Master’s thesis, Chalmers University of Technology, Sweden, 2016
2016
Cited alongside, same era.
J. Alois, “Ethereum Parity Hack May Impact ETH 500,000 or $146 Million,” 2017
2017
Cited alongside, same era.
T. Chen, X. Li, X. Luo, and X. Zhang, “Under-optimized smart contracts devour your money,” in
2017
Cited alongside, same era.
I. Sergey and A. Hobor, “A Concurrent Perspective on Smart Contracts,” in
2017
Cited alongside, same era.
2017
Cited alongside, same era.
“Securify: Formal Verification of Ethereum Smart Contracts,” 2018. [Online]. Available:
2018
Closest in time.
G. Pîrlea and I. Sergey, “Mechanising blockchain consensus,” in
2018
Closest in time.
“Mythril,” 2018. [Online]. Available:
2018
Closest in time.
B. Mueller, “How Formal Verification Can Ensure Flawless Smart Contracts,” January 2018. [Online]. Available:
2018
Closest in time.
“Manticore,” 2018. [Online]. Available:
2018
Closest in time.
ConsenSys Diligence, “Ethereum Smart Contract Security Best Practices,” 2018. [Online]. Available:
2018
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
N. Atzei, M. Bartoletti, and T. Cimoli, “A Survey of Attacks on Ethereum Smart Contracts (SoK),” in
2017
Cited alongside, same era.
E. Hildenbrandt, M. Saxena, X. Zhu, N. Rodrigues, P. Daian, D. Guth, and G. Rosu, “KEVM: A Complete Semantics of the Ethereum Virtual Machine,” Tech. Rep., 2017
2017
Cited alongside, same era.
G. Rosu, “ERC20-K: Formal Executable Specification of ERC20,” December 2017. [Online]. Available:
2017
Cited alongside, same era.
Y. Hirai, “Ethereum Virtual Machine for Coq (v0.0.2),” Published online on 5 March 2017. [Online]. Available:
2017
Cited alongside, same era.
——, “Defining the Ethereum Virtual Machine for Interactive Theorem Provers,” in
2017
Cited alongside, same era.
“Oyente: An Analysis Tool for Smart Contracts,” 2018. [Online]. Available:
2018
Cited alongside, same era.
S. Kalra, S. Goel, M. Dhawan, and S. Sharma, “Zeus: Analyzing safety of smart contracts,” in
2018
Cited alongside, same era.
S. Grossman, I. Abraham, G. Golan-Gueta, Y. Michalevsky, N. Rinetzky, M. Sagiv, and Y. Zohar, “Online detection of effectively callback free objects with applications to smart contracts,”
2018
Closest in time.
S. Amani, M. Bégel, M. Bortin, and M. Staples, “Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL,” in
2018
Closest in time.
“Bamboo,” 2018. [Online]. Available:
2018
Closest in time.
I. Sergey, A. Kumar, and A. Hobor, “Scilla: a smart contract intermediate-level language,”
2018
Closest in time.
Coq Development Team,
2018
Closest in time.