| 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 | 1867 | 2017 |
| SoK: unraveling Bitcoin smart contracts S Lande, R Zunino Principles of Security and Trust LNCS 10804, 217, 2018 | 93 | 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 | 85 | 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 | 37 | 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 | 3 | 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 1, 1-24, 2017 | 3 | 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 CagliariEmail verificata su unica.it
