Full Professor
Department of Computer Science and Engineering
Academic discipline: INFO-01/A Informatics
Home > Useful contents > LATEST RESEARCH PAPERS
About STIPULA
About Benchmarks of LLM
Cosimo Laneve, Alvise Spano`, Dalila Ressi, Sabina Rossi, Michele Bugliesi: Understanding code semantics: a benchmark study of LLMs, July 2025
About Blockchains and Solidity
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.
Serverless Computing
NUOVA Tesi di laurea triennale su NFT + Blockchain
Published on: April 29 2024
Tesi di Laurea Magistrale
Published on: September 19 2023
New Lab on Blockchain and New Technologies
Published on: January 09 2019
Login to manage all website contents.