Tiziana Cimoli

Publications
Influence

A Survey of Attacks on Ethereum Smart Contracts (SoK)

Nicola Atzei, M. Bartoletti, Tiziana Cimoli
Computer Science, Business
POST
22 April 2017

We analyse the security vulnerabilities of Ethereum smart contracts, providing a taxonomy of common programming pitfalls which may lead to vulnerabilities. Expand

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

M. Bartoletti, S. Carta, Tiziana Cimoli, Roberto Saia
Computer Science
Future Gener. Comput. Syst.
10 March 2017

We present a comprehensive survey of Ponzi schemes on Ethereum, analysing their behaviour and their impact from various viewpoints. Expand

Contracts as games on event structures

M. Bartoletti, Tiziana Cimoli, G. Pinna, R. Zunino
Mathematics, Computer Science
J. Log. Algebraic Methods Program.
1 April 2016

We use event structures as a formal model for contracts . Expand

SoK: unraveling Bitcoin smart contracts

Nicola Atzei, M. Bartoletti, Tiziana Cimoli, Stefano Lande, R. Zunino
Computer Science
IACR Cryptol. ePrint Arch.
16 April 2018

We present a comprehensive survey of smart contracts on Bitcoin, in a uniform framework, and identify the most promising open research challenges. Expand

Lending Petri nets

M. Bartoletti, Tiziana Cimoli, G. Pinna
Computer Science
Sci. Comput. Program.
15 November 2012

We use LPNs to give a model to a fragment of Propositional Contract Logic in Lending Petri nets. Expand

Timed Session Types

M. Bartoletti, Tiziana Cimoli, M. Murgia
Computer Science, Mathematics
Log. Methods Comput. Sci.
15 October 2017

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

Compliance in Behavioural Contracts: A Brief Survey

M. Bartoletti, Tiziana Cimoli, R. Zunino
Computer Science
Programming Languages with Applications to…
1 August 2015

Behavioural contracts are formal specifications of interaction protocols between two or more distributed services. Expand

Lending Petri nets and contracts

M. Bartoletti, Tiziana Cimoli, G. Pinna
Computer Science, Mathematics
FSEN
15 November 2012

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

A Theory of Agreements and Protection

M. Bartoletti, Tiziana Cimoli, R. Zunino
Computer Science
POST
16 March 2013

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 a… Expand

A Contract-Oriented Middleware

M. Bartoletti, Tiziana Cimoli, M. Murgia, A. Podda, Livio Pompianu
Computer Science
FACS
14 October 2015

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

Recommended Authors