Foto del docente

Cosimo Laneve


Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics


Tesi di Laurea Magistrale: Tecniche formali per la sicurezza di blockchain

Tesi di laurea + tirocinio.

Published on: January 24 2018

Latest research papers

Cosimo Laneve: A lightweight deadlock analysis technique of object-oriented programs, January 2018 Cosimo Laneve and Abel Garcia: Deadlock detection of Java bytecode, November 2017. The extended abstract (e.g. the first 16 pages) will appear in the Proceedings of LOPSTR 2017.

Published on: January 24 2018