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:
Research Interests
Research Interests
Programming languages, formal methods, blockchain technologies, smart contracts.
Projects
Projects
- 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)
Publications
Publications
- 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
PhD Schools
PhD Schools
- Scientific School on Blockchain and distributed ledger technology
- 12-15 June 2018 - Pula, IT
- The Swiss Blockchain Summer School,
- 21-24 June 2017, Lousanne, CH
- Summer School in Computer Security & Privacy - Building Trust in the Information Age (BTIA)
- 5-9 September 2016, Pula (Sardegna Ricerche), IT
- Second International Summer School on Behavioural Types (BETTY)
- 27th June - 1st July 2016, Limassol, CY
- Bertinoro International Spring School (BISS)
- 6-11 March 2015, Bertinoro (CeUB), IT
Conferences and Workshops
Conferences and Workshops
- 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
Program commitee member
Program commitee member
- SPBP 2017 - Workshop on Security and Privacy-enhanced Business Process Management
Teaching Activities
Teaching Activities
- 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
Ethereum Lab
- Lecture 1 - Smart Contracts in Ethereum (slides)
- Lecture 2 - Solidity (slides)
- Lecture 3 - Web3 Interface (slides)
CO2 Lab
- Lecture 1 - A contract-oriented middleware (slides)
- Lecture 2 - CO2 honesty checker (slides)