Nicola Atzei

Nicola Atzei

Università degli Studi di Cagliari - Cagliari / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1810346
University of Cagliari
person_outline Nicola Atzei's MOST POPULAR ARTICLES
1-) A survey of attacks on ethereum smart contracts (sok)N Atzei, M Bartoletti, T CimoliInternational conference on principles of security and trust, 164-186, 201714322017
2-) SoK: unraveling Bitcoin smart contractsS Lande, R ZuninoPrinciples of Security and Trust LNCS 10804, 217, 2018712018
3-) A formal model of Bitcoin transactionsN Atzei, M Bartoletti, S Lande, R ZuninoInternational Conference on Financial Cryptography and Data Security, 541-560, 2018652018
4-) Developing secure Bitcoin contracts with BitMLN Atzei, M Bartoletti, S Lande, N Yoshida, R ZuninoProceedings of the 2019 27th acm joint meeting on european software …, 2019382019
5-) Developing honest Java programs with DiogenesN Atzei, M BartolettiFormal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016122016