Tiziana Cimoli

According to our database, Tiziana Cimoli authored at least 20 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact.

Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia

Future Gener. Comput. Syst., 2020

2018

Fun with Bitcoin smart contracts.

Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino

IACR Cryptol. ePrint Arch., 2018

SoK: unraveling Bitcoin smart contracts.

Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino

IACR Cryptol. ePrint Arch., 2018

Blockchain for social good: a quantitative analysis.

Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi

Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018

2017

Timed Session Types.

Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia

Log. Methods Comput. Sci., 2017

A Survey of Attacks on Ethereum Smart Contracts (SoK).

Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

2016

Contracts as games on event structures.

Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino

J. Log. Algebraic Methods Program., 2016

A survey of attacks on Ethereum smart contracts.

Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli

IACR Cryptol. ePrint Arch., 2016

2015

Lending Petri nets.

Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna

Sci. Comput. Program., 2015

Vicious circles in contracts and in logic.

Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino

Sci. Comput. Program., 2015

Models of Circular Causality.

Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino

Proceedings of the Distributed Computing and Internet Technology, 2015

Compliance and Subtyping in Timed Session Types.

Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

A Contract-Oriented Middleware.

Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Compliance in Behavioural Contracts: A Brief Survey.

Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

Circular Causality in Event Structures.

Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino

Fundam. Informaticae, 2014

A note on two notions of compliance.

Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna

Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

2013

Contract agreements via logic.

Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino

Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

A Theory of Agreements and Protection.

Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Lending Petri Nets and Contracts.

Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012

An event-based model for contracts

Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino

Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012