Nicola Atzei

According to our database, Nicola Atzei authored at least 6 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Developing secure bitcoin contracts with BitML.

Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

SoK: unraveling Bitcoin smart contracts.

Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino

IACR Cryptol. ePrint Arch., 2018

2017

A formal model of Bitcoin transactions.

Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino

IACR Cryptol. ePrint Arch., 2017

A Survey of Attacks on Ethereum Smart Contracts (SoK).

Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

2016

A survey of attacks on Ethereum smart contracts.

Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli

IACR Cryptol. ePrint Arch., 2016

Developing Honest Java Programs with Diogenes.

Nicola Atzei, Massimo Bartoletti

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016