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 for programs with threads and reentrant locks, January 2018. The extended abstract (e.g. the first 16 pages) will appear in the Proceedings of FM 2018. Cosimo Laneve and Abel Garcia: Deadlock detection of Java bytecode, November 2017. The ...

Published on: January 24 2018