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, 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


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

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

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)