Nicola Atzei

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 9

Top Topics

Transactional Data

Smart Environments

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
Developing secure Bitcoin contracts with BitML. CoRR (2019)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
Developing secure bitcoin contracts with BitML. ESEC/SIGSOFT FSE (2019)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
SoK: unraveling Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
SoK: Unraveling Bitcoin Smart Contracts. POST (2018)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino
A Formal Model of Bitcoin Transactions. Financial Cryptography (2018)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino
A formal model of Bitcoin transactions. IACR Cryptol. ePrint Arch. 2017 (2017)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli
A Survey of Attacks on Ethereum Smart Contracts (SoK). POST (2017)
Nicola Atzei, Massimo Bartoletti
Developing Honest Java Programs with Diogenes. FORTE (2016)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli
A survey of attacks on Ethereum smart contracts. IACR Cryptol. ePrint Arch. 2016 (2016)