Skip to search formSkip to main contentSkip to account menu

A Survey of Attacks on Ethereum Smart Contracts (SoK)

This work analyses the security vulnerabilities of Ethereum smart contracts, providing a taxonomy of common programming pitfalls which may lead to vulnerabilities, and shows a series of attacks which exploit these vulnerabilities, allowing an adversary to steal money or cause other damage.
View via Publisher (opens in a new tab)

Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact

View PDF on arXiv (opens in a new tab)

SoK: unraveling Bitcoin smart contracts

This paper presents a comprehensive survey of smart contracts on Bitcoin, in a uniform framework based on a new formal specification language for smart contracts, which also helps to highlight some subtleties in existing informal descriptions, making a step towards automatic verification.
View via Publisher (opens in a new tab)

Contracts as games on event structures

View via Publisher (opens in a new tab)

Lending Petri nets

View PDF on arXiv (opens in a new tab)

Compliance in Behavioural Contracts: A Brief Survey

A selection of notions of compliance, which characterises when two or more contracts lead to correct interactions between services respecting them, are discussed and compared in four different models of contracts: $$\tau $$-less CCS, session types, interface automata, and contract automata.
View via Publisher (opens in a new tab)

Fun with Bitcoin smart contracts

This paper provides a gentle introduction to Bitcoin smart contracts, which is specified by abstracting from the underlying Bitcoin machinery by exploiting BitML, a recent DSL for smart contracts executable on Bitcoin.
View via Publisher (opens in a new tab)

Timed Session Types

A sound and complete technique to decide when a timed session type admits a compliant one, and how to construct the most precise session type compliant with a given one, according to the subtyping preorder induced by compliance.
View PDF on arXiv (opens in a new tab)

Blockchain for social good: a quantitative analysis

The rise of blockchain technologies has given a boost to social good projects, which are trying to exploit various characteristic features of blockchains: the quick and inexpensive transfer of…
View on ACM (opens in a new tab)

A Theory of Agreements and Protection

It is shown that, in a relevant class of contracts, agreements and protection mutually exclude each other and a novel formalism for modelling contractual obligations is proposed: event structures with circular causality.
View via Publisher (opens in a new tab)
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)