Follow
Nicola Atzei
Nicola Atzei
Verified email at unica.it
Title
Cited by
Cited by
Year
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
18502017
SoK: unraveling Bitcoin smart contracts
S Lande, R Zunino
Principles of Security and Trust LNCS 10804, 217, 2018
912018
A formal model of Bitcoin transactions
N Atzei, M Bartoletti, S Lande, R Zunino
Financial Cryptography and Data Security: 22nd International Conference, FC …, 2018
842018
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
322019
Developing honest Java programs with Diogenes
N Atzei, M Bartoletti
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
122016
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
32017
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
22022
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, ...
The system can't perform the operation now. Try again later.
Articles 1–12