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; 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, Articolo su rivista - Scheda ARCA: 10278/5117888

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, Articolo in Atti di convegno - Scheda ARCA: 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) , Proceedings of TACAS 2026, Springer, Convegno: TACAS
2026, Articolo in Atti di convegno - Scheda ARCA: 10278/5112869

Aradhita Mukherjee, Luca Olivieri, Nabendu Chaki, Agostino Cortesi The Double Spending Dilemma: From Traditional Cash Systems to Interoperable Blockchain Systems , CEUR Workshop Proceedings, CEUR-WS, vol. 4198, Convegno: ITASEC & SERICS 2026 Joint National Conference on Cybersecurity (ISSN 1613-0073)
- URL correlato 2026, Articolo in Atti di convegno - Scheda ARCA: 10278/5116069

Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio An application layer with protocol-based java smart contract verification in FRONTIERS IN COMPUTER SCIENCE, vol. 7 (ISSN 2624-9898)
DOI 2025, Articolo su rivista - Scheda ARCA: 10278/5102267

Tutte le pubblicazioni