Developing Honest Java Programs with Diogenes. - Nicola Atzei; Massimo Bartoletti (FORTE, 2016)

A survey of attacks on Ethereum smart contracts. - Nicola Atzei; Massimo Bartoletti; Tiziana Cimoli (IACR Cryptol. ePrint Arch., 2016)

A Survey of Attacks on Ethereum Smart Contracts (SoK). - Nicola Atzei; Massimo Bartoletti; Tiziana Cimoli (POST, 2017)

A formal model of Bitcoin transactions. - Nicola Atzei; Massimo Bartoletti; Stefano Lande; Roberto Zunino (IACR Cryptol. ePrint Arch., 2017)

SoK: unraveling Bitcoin smart contracts. - Nicola Atzei; Massimo Bartoletti; Tiziana Cimoli; Stefano Lande; Roberto Zunino (IACR Cryptol. ePrint Arch., 2018)

Developing secure bitcoin contracts with BitML. - Nicola Atzei; Massimo Bartoletti; Stefano Lande; Nobuko Yoshida; Roberto Zunino (ESEC/SIGSOFT FSE, 2019)