• 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
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
TLDR
We present a comprehensive survey of Ponzi schemes on Ethereum, analysing their behaviour and their impact from various viewpoints. Expand
  • 102
  • 9
  • PDF
Contracts as games on event structures
TLDR
We use event structures as a formal model for contracts . Expand
  • 15
  • 2
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
Lending Petri nets
TLDR
We use LPNs to give a model to a fragment of Propositional Contract Logic in Lending Petri nets. Expand
  • 19
  • 1
  • PDF
Timed Session Types
TLDR
We show a sound and complete technique to decide when a timed session type admits a compliant one, according to the subtyping preorder induced by compliance. Expand
  • 7
  • 1
  • PDF
Compliance in Behavioural Contracts: A Brief Survey
TLDR
Behavioural contracts are formal specifications of interaction protocols between two or more distributed services. Expand
  • 28
Lending Petri nets and contracts
TLDR
We propose a model for contracts based on a extension of Petri nets, which allows services to protect themselves while still realizing the choreography. Expand
  • 21
  • PDF
A Theory of Agreements and Protection
We present a theory of contracts. Contracts are interacting processes with an explicit notion of obligations and objectives. We model processes and their obligations as event structures. We define aExpand
  • 19
A Contract-Oriented Middleware
TLDR
We exploit a theory of timed behavioural contracts to formalise, design and implement a message-oriented middleware where distributed services can be dynamically composed, and their interaction monitored to detect contract violations. Expand
  • 20