Members‎ > ‎

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.

DBLP
Google Scholar
Email:


Research Interests

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


Projects


Publications

  • N. Atzei, M. Bartoletti, S. Lande, R. Zunino. A formal model of Bitcoin transactions. To be presented 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, T. Cimoli, S. Lande, M. Murgia, A.S. Podda, L. Pompianu. Contract-oriented programming with timed session types. Behavioural Types: from Theory to Tools, 2017
  • N. Atzei, M. Bartoletti, M. Murgia, E. Tuosto, R. Zunino. Contract-oriented design of distributed applications: a tutorial. Behavioural Types: from Theory to Tools, 2017
  • N. Atzei, M. Bartoletti. Developing honest Java programs with Diogenes. In Proc. FORTE, 2016


Conferences and Workshops

  • ITASEC 2017 - Italian Conference on CyberSecurity, 17-20 January, Venice, IT (oral presentation)
  • FORTE 2016 – the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, 6-9 June, Heraklion, GR
  • ICE 2016 -9th Interaction and Concurrency Experience,  8-9 June, Heraklion, GR

Program commitee member

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


PhD Activities

    PhD Schools

    PhD Courses/Seminars

  • Alceste Scalas - Lightweight session programming in Scala, 7th June '16
  • Andrea Bracciali - Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods, 22th July '16
  • Michele Marchesi - Ritorno al futuro: Smalltalk, un linguaggio per modellistica e simulazione, 13th December '16
  • Francesco Usai - Scala in practice, 17th December '16


Teaching Activities

  • 2017/18 - Teaching assistant of Security Foundations / Cyber Security (MSc program in Informatics)
  • 2017/18 - Teaching assistant of Automata and Formal Languages (BSc program in Informatics)
  • 2016/17 - Teaching assistant of Object-Oriented Programming (BSc program in Informatics)
  • 2016/17 - Teaching assistant of Security Foundations (MSc program in Informatics) - Ethereum Lab
  • 2015/16 - Teaching assistant of Security Foundations (MSc program in Informatics) - CO2 lab
  • 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)

    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)