Fetching the paper…
Reading the bibliography…
In recent years, we have seen a great deal of both academic and practical interest in the topic of vulnerabilities in smart contracts, particularly those developed for the Ethereum blockchain.
Principles of database systems
Jeffrey D Ullman · 1984
Earlier work this paper cites.
The Coq proof assistant reference manual: Version 6.1
Bruno Barras, Samuel Boutin, Cristina Cornes, Judicaël Courant, Jean-Christophe Filliatre, Eduardo Gimenez, Hugo Herbelin, Gerard Huet, Cesar Munoz, Chetan Murthy, et al · 1997
Earlier work this paper cites.
Descriptive complexity
Neil Immerman · 1999
Earlier work this paper cites.
Llvm: A compilation framework for lifelong program analysis & transformation
Chris Lattner and Vikram Adve · 2004
Earlier work this paper cites.
Interpolants and symbolic model checking
Kenneth L McMillan · 2007
Earlier work this paper cites.
Z3: An efficient smt solver
Leonardo De Moura and Nikolaj Bjørner · 2008
Earlier work this paper cites.
An overview of the K semantic framework
Grigore Roşu and Traian Florin Şerbănuţă · 2010
Earlier work this paper cites.
Secure distributed programming with value-dependent types
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, and Jean Yang · 2011
Earlier work this paper cites.
Program verification as satisfiability modulo theories
Nikolaj Bjørner, Ken Mcmillan, Andrey Rybalchenko, and Technische Universität München · 2012
Earlier work this paper cites.
A next-generation smart contract and decentralized application platform
Vitalik Buterin · 2014
Earlier work this paper cites.
Lem: reusable engineering of real-world semantics
Dominic P Mulligan, Scott Owens, Kathryn E Gray, Tom Ridge, and Peter Sewell · 2014
Earlier work this paper cites.
Making smart contracts smarter
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor · 2016
Earlier work this paper cites.
A survey of attacks on ethereum smart contracts sok
Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli · 2017
Earlier work this paper cites.
Under-optimized smart contracts devour your money
Ting Chen, Xiaoqi Li, Xiapu Luo, and Xiaosong Zhang · 2017
Earlier work this paper cites.
Introducing Ethereum and Solidity: Foundations of Cryptocurrency and Blockchain Programming for Beginners
Chris Dannen · 2017
Earlier work this paper cites.
Ethereum Smart Contracts : Security Vulnerabilities and Security Tools
Ardit Dika · 2017
Earlier work this paper cites.
Defining the Ethereum Virtual Machine for Interactive Theorem Provers
Yoichi Hirai · 2017
Earlier work this paper cites.
Report of Investigation Pursuant to Section 21(a) of the Securities Exchange Act of 1934: The DAO
Us Securities and Exchange Commission · 2017
Earlier work this paper cites.
Vandal: A scalable security analysis framework for smart contracts
Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, François Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz · 2018
Earlier work this paper cites.
Madmax: Surviving out-of-gas conditions in ethereum smart contracts
Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis · 2018
Cited alongside, same era.
A semantic framework for the security analysis of ethereum smart contracts
Ilya Grishchenko, Matteo Maffei, and Clara Schneidewind · 2018
Cited alongside, same era.
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
Dominik Harz and William Knottenbelt · 2018
Cited alongside, same era.
Kevm: A complete formal semantics of the ethereum virtual machine
E. Hildenbrandt, M. Saxena, N. Rodrigues, X. Zhu, P. Daian, D. Guth, B. Moore, D. Park, Y. Zhang, A. Stefanescu, and G. Rosu · 2018
Cited alongside, same era.
Contractfuzzer: Fuzzing smart contracts for vulnerability detection
Bo Jiang, Ye Liu, and W. K. Chan · 2018
Cited alongside, same era.
https://theethereum.wiki/w/index.php/The_DAO_Refunds , 2017
The DAO Refunds · 2020
Closest in time.
https://www.reddit.com/r/ethtrader/comments/7eimrs/whats_become_of_the_ethereumpyramid/ , 2017
What’s become of the ethereumpyramid? · 2020
Closest in time.
https://medium.com/spankchain/we-got-spanked-what-we-know-so-far-d5ed3a0f38fe , 2018
We Got Spanked: What We Know So Far · 2020
Closest in time.
https://etherscan.io , 2019
Etherscan — Ethereum (ETH) Blockchain Explorer · 2020
Closest in time.
https://golem.network/ , 2019
golem — Computing Power. Shared · 2020
Closest in time.
https://makerdao.com/en/ , 2019
MakerDAO · 2020
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
ZEUS: Analyzing Safety of Smart Contracts
Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma · 2018
Cited alongside, same era.
teether: Gnawing at ethereum to automatically exploit smart contracts
Johannes Krupp and Christian Rossow · 2018
Cited alongside, same era.
Finding the greedy, prodigal, and suicidal contracts at scale
Ivica Nikolić, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor · 2018
Cited alongside, same era.
Smartcheck: Static analysis of ethereum smart contracts
S. Tikhomirov, E. Voskresenskaya, I. Ivanitskiy, R. Takhaviev, E. Marchenko, and Y. Alexandrov · 2018
Cited alongside, same era.
Osiris: Hunting for integer bugs in ethereum smart contracts
Christof Ferreira Torres, Julian Schütte, and Radu State · 2018
Cited alongside, same era.
Securify: Practical security analysis of smart contracts
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, and Martin Vechev · 2018
Cited alongside, same era.
Understanding a revolutionary and flawed grand experiment in blockchain: The dao attack
Muhammad Izhar Mehar, Charles Louis Shier, Alana Giambattista, Elgar Gong, Gabrielle Fletcher, Ryan Sanayhie, Henry M Kim, and Marek Laskowski · 2019
Cited alongside, same era.
Official Go implementation of the Ethereum protocol · 2020
Closest in time.
An In-Depth Look at the Parity Multisig Bug
Lorenz Breidenbach, Phil Daian, Ari Juels, and Emin Gün Sirer · 2020
Closest in time.
Mythril Classic
ConsenSys · 2020
Closest in time.
ETHBMC: A bounded model checker for smart contracts
Joel Frank, Cornelius Aschermann, and Thorsten Holz · 2020
Closest in time.
Multisig wallets affected by the Parity wallet bug
Max Galka · 2020
Closest in time.
Oyente Benchmarks
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, and Prateek Saxena · 2020
Closest in time.
Broken metre: Attacking resource metering in EVM
Daniel Perez and Benjamin Livshits · 2020
Closest in time.
Verx: Safety verification of smart contracts
A. Permenev, D. Dimitrov, P. Tsankov, D. Drachsler-Cohen, and M. Vechev · 2020
Closest in time.
eXtensible Access Control Markup Language (XACML) XML Media Type
Remon Sinnema and Erik Wilde · 2020
Closest in time.
Ethereum yellow paper
Gavin Wood · 2020
Closest in time.
TXSPECTOR: Uncovering attacks in ethereum from transactions
Mengya Zhang, Xiaokuan Zhang, Yinqian Zhang, and Zhiqiang Lin · 2020
Closest in time.
An ever-evolving game: Evaluation of real-world attacks and defenses in ethereum ecosystem
Shunfan Zhou, Zhemin Yang, Jie Xiang, Yinzhi Cao, Zhemin Yang, and Yuan Zhang · 2020
Closest in time.