| A general framework for blockchain analytics M Bartoletti, S Lande, L Pompianu, A Bracciali Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures …, 2017 | 127 | 2017 |
| SoK: unraveling Bitcoin smart contracts S Lande, R Zunino Principles of Security and Trust LNCS 10804, 217, 2018 | 97 | 2018 |
| A formal model of Bitcoin transactions N Atzei, M Bartoletti, S Lande, R Zunino Financial Cryptography and Data Security: 22nd International Conference, FC …, 2018 | 95 | 2018 |
| Cryptocurrency scams: analysis and perspectives M Bartoletti, S Lande, A Loddo, L Pompianu, S Serusi Ieee Access 9, 148353-148373, 2021 | 88 | 2021 |
| Developing secure Bitcoin contracts with BitML N Atzei, M Bartoletti, S Lande, N Yoshida, R Zunino Proceedings of the 2019 27th acm joint meeting on european software …, 2019 | 38 | 2019 |
| A proof-of-stake protocol for consensus on bitcoin subchains M Bartoletti, S Lande, AS Podda Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017 | 38 | 2017 |
| Bitcoin covenants unchained M Bartoletti, S Lande, R Zunino Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 11 | 2020 |
| Faderank: an incremental algorithm for ranking Twitter users M Bartoletti, S Lande, A Massa Web Information Systems Engineering–WISE 2016: 17th International Conference …, 2016 | 10 | 2016 |
| Verifying liquidity of recursive bitcoin contracts M Bartoletti, S Lande, M Murgia, R Zunino Logical Methods in Computer Science 18, 2022 | 9 | 2022 |
| Contract-oriented programming with timed session types N Atzei, M Bartoletti, T Cimoli, S Lande, M Murgia, AS Podda, L Pompianu Behavioural Types, 27-48, 2022 | 6 | 2022 |
| Computationally sound Bitcoin tokens M Bartoletti, S Lande, R Zunino 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021 | 3 | 2021 |
| Verification of recursive Bitcoin contracts M Bartoletti, S Lande, M Murgia, R Zunino Submitted to LMCS, 2020 | 3 | 2020 |
| Formal Methods for Secure Bitcoin Smart Contracts S Lande Università degli Studi di Cagliari, 2021 | | 2021 |
| Behavioural Types: from Theory to Tools N Atzei, M Bartoletti, T Cimoli, S Lande, M Murgia, AS Podda, L Pompianu Behavioural Types: from Theory to Tools 1, 1-412, 2017 | | 2017 |
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
