Fetching the paper…
Reading the bibliography…
Modern blockchains, such as Ethereum, enable the execution of so-called smart contracts - programs that are executed across a decentralised network of nodes.
Formalizing and securing relationships on public networks
Nick Szabo · 1997
Earlier work this paper cites.
A normalized levenshtein distance metric
Li Yujian and Liu Bo · 2007
Earlier work this paper cites.
Z3: An efficient smt solver
Leonardo De Moura and Nikolaj Bjørner · 2008
Earlier work this paper cites.
Bitcoin: A peer-to-peer electronic cash system
Satoshi Nakamoto · 2009
Earlier work this paper cites.
Beware the middleman: Empirical analysis of bitcoin-exchange risk
Tyler Moore and Nicolas Christin · 2013
Earlier work this paper cites.
An inquiry into money laundering tools in the bitcoin ecosystem
Malte Moser, Rainer Bohme, and Dominic Breuker · 2013
Earlier work this paper cites.
Management of an academic hpc cluster: The ul experience
S. Varrette, P. Bouvry, H. Cartiaux, and F. Georgatos · 2014
Earlier work this paper cites.
Ethereum: A secure decentralised generalised transaction ledger
Gavin Wood · 2014
Earlier work this paper cites.
There’s no free lunch, even using bitcoin: Tracking the popularity and profits of virtual currency scams
Marie Vasek and Tyler Moore · 2015
Earlier work this paper cites.
Formal Verification of Smart Contracts
Karthikeyan Bhargavan, Nikhil Swamy, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, and Thomas Sibut-Pinote · 2016
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.
Understanding the dao attack, jun 2016
David Siegel · 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.
Dissecting ponzi schemes on ethereum: identification, analysis, and impact
Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, and Roberto Saia · 2017
Earlier work this paper cites.
Defining the ethereum virtual machine for interactive theorem provers
Yoichi Hirai · 2017
Earlier work this paper cites.
Ethereum virtual machine for coq (v0.0.2), June 2017
Yoichi Hirai · 2017
Earlier work this paper cites.
Oyente - An Analysis Tool for Smart Contracts v0.2.7 (Commonwealth), February 2017
Loi Luu · 2017
Earlier work this paper cites.
Another parity wallet hack explained, nov 2017
Sergey Petrov · 2017
Cited alongside, same era.
Towards verifying ethereum smart contract bytecode in isabelle/hol
Sidney Amani, Myriam Bégel, Maksym Bortin, and Mark Staples · 2018
Cited alongside, same era.
Data mining for detecting bitcoin ponzi schemes
Massimo Bartoletti, Barbara Pes, and Sergio Serusi · 2018
Cited alongside, same era.
Bamboo: a language for morphing smart contracts, May 2018
Cornell Blockchain · 2018
Cited alongside, same era.
Vandal: A scalable security analysis framework for smart contracts
Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz · 2018
Cited alongside, same era.
Manticore - symbolic execution tool, jun 2018
Trail of Bits · 2018
Later among the works it cites.
Formal verification for solidity contracts, June 2018
Christian Reitwiessner · 2018
Later among the works it cites.
An analysis of a couple ethereum honeypot contracts, December 2018
Josep Sanjuas · 2018
Later among the works it cites.
Hacking the hackers: Honeypots on ethereum network, December 2018
Alex Sherbachev · 2018
Later among the works it cites.
Dissecting an ethereum honey pot, December 2018
Alex Sherbuck · 2018
Later among the works it cites.
Towards safer smart contracts: A sequence learning approach to detecting vulnerabilities
A Tann, Xing Jie Han, Sourav Sen Gupta, and Yew-Soon Ong · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Detecting ponzi schemes on ethereum: Towards healthier blockchain technology
Weili Chen, Zibin Zheng, Jiahui Cui, Edith Ngai, Peilin Zheng, and Yuren Zhou · 2018
Cited alongside, same era.
Ethereum (ETH) price, charts, market cap, and other metrics — CoinMarketCap, January 2018
CoinMarketCap · 2018
Cited alongside, same era.
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.
Contractfuzzer: Fuzzing smart contracts for vulnerability detection
Bo Jiang, Ye Liu, and W. K. Chan · 2018
Cited alongside, same era.
Zeus: Analyzing safety of smart contracts
Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma · 2018
Cited alongside, same era.
Exploiting the laws of order in smart contracts
Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, and Prateek Saxena · 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
Later among the works it cites.
Osiris: Hunting for integer bugs in ethereum smart contracts
Christof Ferreira Torres, Julian Schütte, and Radu State · 2018
Later among the works it cites.
Securify: Practical security analysis of smart contracts
Petar Tsankov, Andrei Dan, Dana Drachsler Cohen, Arthur Gervais, Florian Buenzli, and Martin Vechev · 2018
Later among the works it cites.
Symbolic execution of security protocol implementations: Handling cryptographic primitives
Mathy Vanhoef and Frank Piessens · 2018
Later among the works it cites.
Analyzing the bitcoin ponzi scheme ecosystem
Marie Vasek and Tyler Moore · 2018
Later among the works it cites.
Smart contract honeypots, April 2018
Gerhard Wagner · 2018
Later among the works it cites.
Solidity 0.5.1 documentation, December 2018
Gavin Wood · 2018
Later among the works it cites.
Erays: Reverse engineering ethereum’s opaque smart contracts
Yi Zhou, Deepak Kumar, Surya Bakshi, Joshua Mason, Andrew Miller, and Michael Bailey · 2018
Later among the works it cites.
Ethereum low-level lisp-like language, January 2019
LLL · 2019
Closest in time.
Pythonic smart contract language for the evm, January 2019
Vyper · 2019
Closest in time.