Rethinking Blockchain Security: Position Paper

Theory of Games and Economic Behavior

John von Neumann and Oskar Morgenstern · 1944

Earlier work this paper cites.

Equilibrium points in n-person games

J. Nash · 1950

Earlier work this paper cites.

Practical optimization

Philip E Gill, Walter Murray, and Margaret H Wright · 1981

Earlier work this paper cites.

Combinatorial optimization: algorithms and complexity

Christos H Papadimitriou and Kenneth Steiglitz · 1998

Earlier work this paper cites.

Evolutionary Games and Population Dynamics

J. Hofbauer and K. Sigmund · 1998

Earlier work this paper cites.

Code is law

Lawrence Lessig · 1999

Earlier work this paper cites.

Worst-case equilibria

Elias Koutsoupias and Christos H. Papadimitriou · 1999

Earlier work this paper cites.

Computational complexity

Christos H Papadimitriou · 2003

Earlier work this paper cites.

Software security testing

Bruce Potter and Gary McGraw · 2004

Earlier work this paper cites.

Fuzzing: brute force vulnerability discovery

Michael Sutton, Adam Greene, and Pedram Amini · 2007

Earlier work this paper cites.

Algorithmic Game Theory

Noam Nisan, Tim Roughgarden, Eva Tardos, and Vijay V. Vazirani · 2007

Earlier work this paper cites.

Testing with model checkers: a survey

Gordon Fraser, Franz Wotawa, and Paul E. Ammann · 2009

Earlier work this paper cites.

The state and the threat of cascading failure across critical infrastructures: the implications of empirical evidence from media incident reports

Michel van Eeten, Albert Nieuwenhuijs, Eric Luiijf, Marieke Klaver, and edite Cruz · 2011

Earlier work this paper cites.

An analysis and survey of the development of mutation testing

Yue Jia and Mark Harman · 2011

Earlier work this paper cites.

Dynamical systems and population persistence

Hal L Smith and Horst R Thieme · 2011

Earlier work this paper cites.

Standardizing cyber threat intelligence information with the Structured Threat Information eXpression (STIX)

Sean Barnum · 2012

Earlier work this paper cites.

Sage: whitebox fuzzing for security testing

Patrice Godefroid, Michael Y Levin, and David Molnar · 2012

Earlier work this paper cites.

Approximation algorithms

Vijay V Vazirani · 2013

Cited alongside, same era.

Majority is not enough: Bitcoin mining is vulnerable

Ittay Eyal and Emin Gün Sirer · 2014

Cited alongside, same era.

Analyzing bug bounty programs: An institutional perspective on the economics of software vulnerabilities

Andreas Kuehn and Milton Mueller · 2014

Cited alongside, same era.

Bitcoin mining and its energy footprint

Karl J O’Dwyer and David Malone · 2014

Cited alongside, same era.

Persistent patterns: Multi-agent learning beyond equilibrium and utility

Georgios Piliouras, Carlos Nieto-Granda, Henrik I Christensen, and Jeff S Shamma · 2014

Cited alongside, same era.

Optimization despite chaos: Convex relaxations to complex limit sets via Poincaré recurrence

Georgios Piliouras and Jeff S Shamma · 2014

Cited alongside, same era.

Distributed ledger technology & cybersecurity: Improving information security in the financial sector

European Union Agency for Network and Information Security (ENISA) · 2017

Later among the works it cites.

A concurrent perspective on smart contracts

Ilya Sergey and Aquinas Hobor · 2017

Later among the works it cites.

A survey of attacks on Ethereum smart contracts (SoK)

Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli · 2017

Later among the works it cites.

Defining the Ethereum virtual machine for interactive theorem provers

Yoichi Hira · 2017

Later among the works it cites.

Dissecting ponzi schemes on ethereum: identification, analysis, and impact

Original

Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, and Roberto Saia · 2017

Later among the works it cites.

Personal Communication, 2017