Luca OLIVIERI

Position
Researcher
E-mail
luca.olivieri@unive.it
Academic discipline
Informatics [INFO-01/A]
Website
https://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

Teaching activity current year

Teaching activity previous years

DIGITAL MANAGEMENT [ET7]
Bachelor's Degree Programme

Activities and research skills

Publication highlights

Olivieri, Luca; Arceri, Vincenzo; Negrini, Luca; Caiazza, Gianluca Challenges of Software Verification (CSV’25) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. - (ISSN 1433-2779)
DOI 2026, Journal Article - ARCA card: 10278/5117888


Mukherjee, Aradhita; Olivieri, Luca; Chaki, Nabendu; Cortesi, Agostino Double-Spending Attacks in Cross-Blockchain Ecosystems in BLOCKCHAIN: RESEARCH AND APPLICATIONS, vol. - (ISSN 2096-7209)
DOI 2026, Journal Article - ARCA card: 10278/5106022


giacomo boldini, luca negrini, luca olivieri, pietro ferrara A Modular Framework for Stack-Heap and Value Abstractions , Proceedings of the 33rd Static Analysis Symposium (SAS 2026), Springer Nature, Convegno: 33rd Static Analysis Symposium (SAS 2026)
2026, Article in Conference Proceedings - ARCA card: 10278/5126327


Olivieri, Luca; Pasetto, Luca; Negrini, Luca; Ferrara, Pietro An Overview of Termination in the Ethereum Blockchain , Blockchain Technology and Emerging Applications, Springer Nature Switzerland, pp. 226-248, Convegno: 4th EAI International Conference on Blockchain Technology and Emerging Applications (ISBN 9783032123343; 9783032123350) (ISSN 1867-8211)
DOI 2026, Article in Conference Proceedings - ARCA card: 10278/5109729


Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) , Tools and Algorithms for the Construction and Analysis of System (TACAS 2026), Springer, Convegno: 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026)
DOI 2026, Article in Conference Proceedings - ARCA card: 10278/5112869


List of publications

Curriculum vitae

 

cafoscariNEWS