Tiziana Cimoli

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 19

Top Topics

Computational Properties

Quantitative Analysis

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia
Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact. Future Gener. Comput. Syst. 102 (2020)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
SoK: unraveling Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
SoK: Unraveling Bitcoin Smart Contracts. POST (2018)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
Fun with Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi
Blockchain for social good: a quantitative analysis. GOODTECHS (2018)
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi
Blockchain for social good: a quantitative analysis. CoRR (2018)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
Fun with Bitcoin Smart Contracts. ISoLA (4) (2018)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
Timed Session Types. Log. Methods Comput. Sci. 13 (4) (2017)
Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact. CoRR (2017)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli
A Survey of Attacks on Ethereum Smart Contracts (SoK). POST (2017)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
Timed Session Types. CoRR (2017)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Contracts as games on event structures. J. Log. Algebraic Methods Program. 85 (3) (2016)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli
A survey of attacks on Ethereum smart contracts. IACR Cryptol. ePrint Arch. 2016 (2016)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
A Contract-Oriented Middleware. FACS (2015)
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino
Vicious circles in contracts and in logic. Sci. Comput. Program. 109 (2015)
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
Compliance and Subtyping in Timed Session Types. FORTE (2015)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
Lending Petri nets. Sci. Comput. Program. 112 (2015)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Models of Circular Causality. ICDCIT (2015)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
Compliance in Behavioural Contracts: A Brief Survey. Programming Languages with Applications to Biology and Security (2015)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
A note on two notions of compliance. ICE (2014)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Circular Causality in Event Structures. Fundam. Informaticae 134 (3-4) (2014)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
A Theory of Agreements and Protection. POST (2013)
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino
Contract agreements via logic. ICE (2013)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
Lending Petri Nets and Contracts. FSEN (2013)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
Lending Petri nets and contracts CoRR (2012)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
An event-based model for contracts PLACES (2012)