Foto del docente

Cosimo Laneve

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

News

Tesi di Laurea Magistrale

L'argomento e` "la corrispondenza tra contratti legali e smart contract della blockchain". Il parlamento Italiano ha approvato una legge [Legge nr 12, 11 Febbraio 2019] in cui c'e` scritto: Art. 8-ter (Tecnologie basate su registri distribuiti e smart contract). – 1. Si definiscono “tecnologie basate ...

Published on: December 02 2020

New Lab on Blockchain and New Technologies

The Lab promotes the research on Blockchain and New Technologies and their technological transfer.

Published on: January 09 2019

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, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez: Time Analysis of Actor Programs, March 2018 (with Michael Lienhardt, Ka I Pun, Guillermo Román-Díez) Cosimo Laneve:A lightweight deadlock analysis for programs with threads and reentrant locks, January 2018. The extended ...

Published on: January 24 2018