ATZEI, NICOLA
ATZEI, NICOLA
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.016 secondi).
Developing secure bitcoin contracts with BitML
2019-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Yoshida, N.; Zunino, R.
From behavioural contracts to smart contracts
2019-02-27
A Formal Model of Bitcoin Transactions
2018-01-01 Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R.
SoK: Unraveling bitcoin smart contracts
2018-01-01 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana; Lande, Stefano; Zunino, Roberto
A survey of attacks on Ethereum smart contracts (SoK)
2017-01-01 Atzei, Nicola; Bartoletti, Massimo; Cimoli, Tiziana
Contract-Oriented design of distributed applications: A tutorial
2017-01-01 Atzei, N.; Bartoletti, M.; Murgia, M.; Tuosto, E.; Zunino, R.
Contract-oriented programming with timed session types
2017-01-01 Atzei, N.; Bartoletti, M.; Cimoli, T.; Lande, S.; Murgia, M.; Podda, A. S.; Pompianu, L.
Developing honest Java programs with Diogenes
2016-01-01 Atzei, Nicola; Bartoletti, Massimo
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 |