• Publications
  • Influence
A Survey of Attacks on Ethereum Smart Contracts (SoK)
TLDR
We analyse the security vulnerabilities of Ethereum smart contracts, providing a taxonomy of common programming pitfalls which may lead to vulnerabilities. Expand
  • 665
  • 52
  • PDF
A formal model of Bitcoin transactions
TLDR
We propose a formal model of Bitcoin transactions, which is sufficiently abstract to enable formal reasoning, and at the same time is concrete enough to serve as an alternative documentation to Bitcoin. Expand
  • 40
  • 1
  • PDF
SoK: unraveling Bitcoin smart contracts
TLDR
We present a comprehensive survey of smart contracts on Bitcoin, in a uniform framework, and identify the most promising open research challenges. Expand
  • 32
  • 1
  • PDF
Developing secure bitcoin contracts with BitML
TLDR
We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. Expand
  • 14
  • 1
  • PDF
Developing Honest Java Programs with Diogenes
TLDR
In this paper we present Diogenes, a suite of tools which supports programmers in writing honest Java programs. Expand
  • 6
Contract-Oriented Programming with Timed Session Types
Contract-oriented programming is a software engineering paradigm which proposes the use of behavioural contracts to discipline the interaction among software components. In a distributed setting, theExpand
  • 1
  • PDF