Luca OLIVIERI

Qualifica
Ricercatore
E-mail
luca.olivieri@unive.it
SSD
Informatica [INFO-01/A]
Sito web
www.unive.it/persone/luca.olivieri (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Research Institute
Research Institute for Complexity

Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto Design and Implementation of Static Analyses for Tezos Smart Contracts in DISTRIBUTED LEDGER TECHNOLOGIES, vol. 1 (ISSN 2769-6480)
DOI 2024, Articolo su rivista - Scheda ARCA: 10278/5085613


Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino Detection of Phantom Reads in Hyperledger Fabric in IEEE ACCESS, vol. 12 (ISSN 2169-3536)
DOI 2024, Articolo su rivista - Scheda ARCA: 10278/5060921


Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study in IEEE ACCESS, vol. 12, pp. 166855-166869 (ISSN 2169-3536)
DOI 2024, Articolo su rivista - Scheda ARCA: 10278/5083652


Olivieri, Luca; Spoto, Fausto Software verification challenges in the blockchain ecosystem in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 26, pp. 431-444 (ISSN 1433-2779)
DOI 2024, Articolo su rivista - Scheda ARCA: 10278/5070301


Olivieri L.; Pasetto L.; Negrini L.; Ferrara P. European Union Data Act and Blockchain Technology: Challenges and New Directions , CEUR Workshop Proceedings, CEUR-WS, vol. 3791, Convegno: 6th Distributed Ledger Technology Workshop, DLT 2024, 2024 (ISSN 1613-0073)
2024, Articolo in Atti di convegno - Scheda ARCA: 10278/5083061