ATZEI, NICOLA

ATZEI, NICOLA  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.017 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Developing secure bitcoin contracts with BitML 1-gen-2019 Atzei, N.; Bartoletti, M.; Lande, S.; Yoshida, N.; Zunino, R. - Association for Computing Machinery
From behavioural contracts to smart contracts 27-feb-2019 - - Università degli Studi di Cagliari
A Formal Model of Bitcoin Transactions 1-gen-2018 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R. - Springer
SoK: Unraveling bitcoin smart contracts 1-gen-2018 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto - Springer
A survey of attacks on Ethereum smart contracts (SoK) 1-gen-2017 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana - Springer
Contract-Oriented design of distributed applications: A tutorial 1-gen-2017 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R. - River Publishers
Contract-oriented programming with timed session types 1-gen-2017 Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L. - River Publishers
Developing honest Java programs with Diogenes 1-gen-2016 Atzei, Nicola; Bartoletti, Massimo LECTURE NOTES IN COMPUTER SCIENCE Springer