Nicola Atzei

Nicola Atzei is a PhD student at the Department of Mathematics and Computer Science of the University of Cagliari, supervised by Massimo Bartoletti.

Email:

Programming languages, formal methods, blockchain technologies, smart contracts.

DSL for bitcoin transactions
A constant-deposit lottery in Ethereum
A survey of Attacks on Ethereum Smart Contracts (documentation)
Diogenes - honesty verification of contract-oriented Java applications
Contract-oriented middleware - a Java middleware for contract-oriented applications (contributor)

N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, R. Zunino.
SoK: unraveling Bitcoin Smart Contracts.
In Proc. at POST, 2018
N. Atzei, M. Bartoletti, S. Lande, R. Zunino.
A formal model of Bitcoin transactions.
In Proc. at FC, 2018
N. Atzei, M. Bartoletti, T. Cimoli.
A survey of attacks on Ethereum smart contracts.
In Proc. at POST, 2017
N. Atzei, M. Bartoletti, M. Murgia, E. Tuosto, R. Zunino.
Contract-oriented design of distributed applications: a tutorial. Chapter 1 of Behavioural Types: from Theory to Tools, 2017
N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, M. Murgia, A.S. Podda, L. Pompianu.
Contract-oriented programming with timed session types.
Chapter 2 of Behavioural Types: from Theory to Tools, 2017
N. Atzei, M. Bartoletti.
Developing honest Java programs with Diogenes.
In Proc. FORTE, 2016

POST 2018 - Principles of Security and Trust,
- 14-20 April 2018, Thessaloniki, Greece
- (oral presentation, slides)
FC 2018 - Financial Cryptography and Data Security,
- 26 February - 2 March 2018, Curaçao
ITASEC 2018 - Italian Conference on CyberSecurity,
- 6-9 February 2018, Milan, Italy
ITASEC 2017 - Italian Conference on CyberSecurity,
- 17-20 January 2017, Venice, Italy
- (oral presentation)
FORTE 2016 – the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems,
- 6-9 June 2016, Heraklion, Greece
ICE 2016 -9th Interaction and Concurrency Experience,
- 8-9 June 2016, Heraklion, Greece

SPBP 2017 - Workshop on Security and Privacy-enhanced Business Process Management

Teaching assistant of Automata and Formal Languages
BSc program in Informatics
2018-19
Teaching assistant at Scientific School on Blockchain and distributed ledger technology
- 13 June 2018 - Pula, IT
Teaching assistant of Security Foundations / Cyber Security
MSc program in Informatics
2017-18
Teaching assistant of Automata and Formal Languages
BSc program in Informatics
2017-18
Teaching assistant of Object-Oriented Programming
BSc program in Informatics
2016-17
Teaching assistant of Security Foundations - Ethereum Lab
MSc program in Informatics
2016-17
Teaching assistant of Security Foundations - CO2 Lab
- MSc program in Informatics
- 2015-16
Seminar: "Incentives for Smart Contracts", part of this seminars series
PhDs and MSc program in Informatics
2015-16
Seminar: "Ethereum in Depth" with Tiziana Cimoli, part of this seminars series
PhDs and MSc program in Informatics
2015-16