Nicola Atzei
Nicola Atzei
Verified email at
Cited by
Cited by
A survey of attacks on ethereum smart contracts (sok)
N Atzei, M Bartoletti, T Cimoli
International conference on principles of security and trust, 164-186, 2017
SoK: unraveling Bitcoin smart contracts
S Lande, R Zunino
Principles of Security and Trust LNCS 10804, 217, 2018
A formal model of Bitcoin transactions
N Atzei, M Bartoletti, S Lande, R Zunino
International Conference on Financial Cryptography and Data Security, 541-560, 2018
Developing honest Java programs with Diogenes
N Atzei, M Bartoletti
International Conference on Formal Techniques for Distributed Objects …, 2016
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
Contract-oriented programming with timed session types
N Atzei, M Bartoletti, T Cimoli, S Lande, M Murgia, AS Podda, L Pompianu
Behavioural Types: from Theory to Tools, 27, 2017
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, 2017
From behavioural contracts to smart contracts
N Atzei
Università degli Studi di Cagliari, 2019
The system can't perform the operation now. Try again later.
Articles 1–8