• Massimo Bartoletti
  • G. Michele Pinna


PhD students and Post-Docs

Research Interests

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


  • 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


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

Former Members

Questionario e social

Impostazioni cookie