People

Faculty

• Massimo Bartoletti
• G. Michele Pinna

PhD students and Post-Docs

Research Interests

• Blockchain technologies
• Computational models
• Cryptography
• Cybersecurity
• Formal methods
• Reversibility
• Smart contracts

Events

• Blockchain and Distributed Ledger Technology School series (Pula, Italy)
• International School on Algorand Smart Contracts (online)
• Distributed Ledger Technology Workshop series

Research Collaborations

• Department of Mathematics, University of Trento (Italy)
• Department of Applied Mathematics and Computer Science, DTU (Denmark)
• IMT School for Advanced Studies Lucca (Italy)
• Gran Sasso Science Institute (Italy)
• Dipartimento di Scienze Pure e Applicate, Università di Urbino (Italy)
• ICC - Universidad de Buenos Aires (Argentina)
• A.I. Cuza, University of Iasi (Romania)
• Univ Rennes & INRIA, Rennes (France)

Selected Publications

• N. Atzei, M. Bartoletti, T. Cimoli. A survey of attacks on Ethereum smart contracts (SoK). POST, 2017
• M. Bartoletti, R. Zunino. BitML: a calculus for Bitcoin smart contracts. ACM CCS, 2018
• M. Bartoletti, S. Carta, T. Cimoli, R. Saia. Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact. In Future Generation Computer Systems. 102, 2020
• G. Ciobanu, G. M. Pinna. Memory associated with membranes systems. J. Membr. Comput. 3(2), 2021
• H. C. Melgratti, C. A. Mezzina, G. M. Pinna. A distributed operational view of Reversible Prime Event Structures. LICS, 2021
• G. M. Pinna, E. Fabre. Spreading nets: A uniform approach to unfoldings. J. Log. Algebraic Methods Program. 112, 2020

Alumni

• Nicola Atzei
• Giovanni Casu
• Tiziana Cimoli
• Stefano Lande
• Maurizio Murgia
• A. Sebastian Podda
• Livio Pompianu
• Alceste Scalas
• Sergio Serusi

Former Members