A Semantic Framework for the Security Analysis of Ethereum smart contracts

Bitcoin: A peer-to-peer electronic cash system (2008) Available at http://bitcoin.org/bitcoin.pdf

Nakamoto, S.: · 2008

Earlier work this paper cites.

Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs

Hammer, C., Snelting, G.: · 2009

Earlier work this paper cites.

Ethereum: A secure decentralised generalised transaction ledger

Wood, G.: · 2014

Earlier work this paper cites.

Checking probabilistic noninterference using joana

Snelting, G., Giffhorn, D., Graf, J., Hammer, C., Hecker, M., Mohr, M., Wasserrab, D.: · 2014

Earlier work this paper cites.

Medrec: Using blockchain for medical data access and permission management

Azaria, A., Ekblaw, A., Vieira, T., Lippman, A.: · 2016

Earlier work this paper cites.

The DAO smart contract (2016) Available at http://etherscan.io/address/0xbb9bc244d798123fde783fcc1c72d3bb8c189413#code

: · 2016

Earlier work this paper cites.

Semantics-based program verifiers for all languages

Stefănescu, A., Park, D., Yuwen, S., Li, Y., Roşu, G.: · 2016

Earlier work this paper cites.

Formal verification of smart contracts: Short paper

Bhargavan, K., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., Kobeissi, N., Kulatova, N., Rastogi, A., Sibut-Pinote, T., Swamy, N., Zanella-Béguelin, S.: · 2016

Earlier work this paper cites.

Making smart contracts smarter

Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: · 2016

Cited alongside, same era.

Findel: Secure derivative contracts for ethereum

Biryukov, A., Khovratovich, D., Tikhomirov, S.: · 2017

Cited alongside, same era.

Smart contract-based campus demonstration of decentralized transactive energy auctions

Hahn, A., Singh, R., Liu, C.C., Chen, S.: · 2017

Cited alongside, same era.

A smart contract for boardroom voting with maximum voter privacy

McCorry, P., F. Shahandashti, S., Hao, F.: · 2017

Cited alongside, same era.

Secure framework for healthcare data management using ethereum-based blockchain technology

Adhikari, C.: · 2017

Cited alongside, same era.

Trading stocks on blocks-engineering decentralized markets

Notheisen, B., Gödde, M., Weinhardt, C.: · 2017

Cited alongside, same era.

Betrayal, distrust, and rationality: Smart counter-collusion contracts for verifiable cloud computing

Dong, C., Wang, Y., Aldweesh, A., McCorry, P., van Moorsel, A.: · 2017

Later among the works it cites.

The parity wallet breach (2017) Available at https://www.coindesk.com/30-million-ether-reported-stolen-parity-wallet-breach/

: · 2017

Later among the works it cites.

The parity wallet vulnerability (2017) Available at https://paritytech.io/blog/security-alert.html

: · 2017

Later among the works it cites.

A survey of attacks on ethereum smart contracts (sok)

Atzei, N., Bartoletti, M., Cimoli, T.: · 2017

Later among the works it cites.

Defining the ethereum virtual machine for interactive theorem provers

Hirai, Y.: · 2017

Later among the works it cites.

A concurrent perspective on smart contracts