Foto del docente

Cosimo Laneve

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INFO-01/A Informatica

Avvisi

Home > Avvisi > LATEST RESEARCH PAPERS

LATEST RESEARCH PAPERS

Cosimo Laneve, Alessandro Parenti, Giovanni Sartor: Legal Contracts Amending with Stipula, November 2022
Silvia Crafa, Cosimo Laneve: Liquidity Analysis in Resource-Aware Programming, April 2022.

Silvia Crafa, Cosimo Laneve: Programming legal contracts: a beginners guide to Stipula, November 2021.

Silvia Crafa, Cosimo Laneve, Giovanni Sartor: Pacta sunt servanda: smart legal contracts in Stipula, May 2021.

Cosimo Laneve, Claudio Sacerdoti Coen: Ether Analysis of Solidity Functions, May 2020.

Stefano Bistarelli,Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti: Stochastic Modelling and Analysis of Bitcoin, May 2020.
Cosimo Laneve, Adele Veschetti: A Formal Analysis of the Bitcoin Protocol, July 2020.

Pubblicato il: 24 gennaio 2018