Tiziana Cimoli

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