Luca OLIVIERI

Position
Researcher
E-mail
luca.olivieri@unive.it
Scientific sector (SSD)
Informatica [INFO-01/A]
Website
www.unive.it/people/luca.olivieri (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: 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, Journal Article - ARCA card: 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, Journal Article - ARCA card: 10278/5060921


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, Journal Article - ARCA card: 10278/5070301


Olivieri, Luca; Mukherjee, Aradhita; Chaki, Nabendu; Cortesi, Agostino Blockchain Interoperability through Bridges: A Token Transfer Perspective , 2024 6th International Conference on Blockchain Computing and Applications (BCCA), IEEE, pp. 742-748, Convegno: International Conference on Blockchain Computing and Applications (BCCA), 26/11/2024-29/11/2024
DOI 2024, Article in Conference Proceedings - ARCA card: 10278/5088867


Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro Teaching Through Practice: Advanced Static Analysis with LiSA , Formal Methods Teaching, Springer, pp. 43-57, Convegno: 6th Formal Methods Teaching Workshop (FMTea 2024) (ISBN 9783031713781; 9783031713798) (ISSN 0302-9743)
DOI 2024, Article in Conference Proceedings - ARCA card: 10278/5072663