| A survey of attacks on ethereum smart contracts (sok) N Atzei, M Bartoletti, T Cimoli Principles of Security and Trust: 6th International Conference, POST 2017 …, 2017 | 2059 | 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 |
| 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 |
| Developing honest Java programs with Diogenes N Atzei, M Bartoletti Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016 | 12 | 2016 |
| 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 |
| Contract-oriented design of distributed applications: a tutorial N Atzei, M Bartoletti, M Murgia, E Tuosto, R Zunino Behavioural Types: From Theory to Tools. Automation, Control and Robotics, 1-26, 2017 | 6 | 2017 |
| A Survey of Attacks on Ethereum Smart Contracts (SoK) N Atzei, M Bartoletti, T Cimoli Journal of Fintech, Blockchain, and Smart Contracts 2 (1), 37-40, 2019 | | 2019 |
| From behavioural contracts to smart contracts N Atzei Università degli Studi di Cagliari, 2019 | | 2019 |
| Proceedings of the 6th International Conference on Principles of Security and Trust-Volume 10204 M Maffei, M Ryan Springer-Verlag, 2017 | | 2017 |
| 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 |
| Bücher und Buch-Herausgaben M Maffei, M Ryan, P Ah-Fat, M Alabbad, M Alvim, Z Aslanyan, N Atzei, ... | | |
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
