Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
A Survey of Attacks on Ethereum Smart Contracts (SoK)
- Nicola Atzei, M. Bartoletti, Tiziana Cimoli
- Computer Science, Business
- POST
- 22 April 2017
TLDR
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
TLDR
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
TLDR
SoK: unraveling Bitcoin smart contracts
- Nicola Atzei, M. Bartoletti, Tiziana Cimoli, Stefano Lande, R. Zunino
- Computer Science
- IACR Cryptol. ePrint Arch.
- 16 April 2018
TLDR
Lending Petri nets
- M. Bartoletti, Tiziana Cimoli, G. Pinna
- Computer Science
- Sci. Comput. Program.
- 15 November 2012
TLDR
Timed Session Types
- M. Bartoletti, Tiziana Cimoli, M. Murgia
- Computer Science, Mathematics
- Log. Methods Comput. Sci.
- 15 October 2017
TLDR
Compliance in Behavioural Contracts: A Brief Survey
- M. Bartoletti, Tiziana Cimoli, R. Zunino
- Computer Science
- Programming Languages with Applications to…
- 1 August 2015
TLDR
Lending Petri nets and contracts
- M. Bartoletti, Tiziana Cimoli, G. Pinna
- Computer Science, Mathematics
- FSEN
- 15 November 2012
TLDR
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
TLDR