73 citations · 135 across the 7 of their papers we have counts for
7 papers
Blockchain for social good: a quantitative analysis
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu +1
The rise of blockchain technologies has given a boost to social good projects, which are trying to exploit various characteristic features of blockchains: the quick and inexpensive…
Timed Session Types
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
Timed session types formalise timed communication protocols between two participants at the endpoints of a session. They feature a decidable compliance relation, which generalises…
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli +1
Ponzi schemes are financial frauds which lure users under the promise of high profits. Actually, users are repaid only with the investments of new users joining the scheme: consequ…
A note on two notions of compliance
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
We establish a relation between two models of contracts: binary session types, and a model based on event structures and game-theoretic notions. In particular, we show that complia…
Contract agreements via logic
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino +1
We relate two contract models: one based on event structures and game theory, and the other one based on logic. In particular, we show that the notions of agreement and winning str…
An event-based model for contracts
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna +1
We introduce a basic model for contracts. Our model extends event structures with a new relation, which faithfully captures the circular dependencies among contract clauses. We est…
Lending Petri nets and contracts
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
Choreography-based approaches to service composition typically assume that, after a set of services has been found which correctly play the roles prescribed by the choreography, ea…