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

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2025 Articolo in Atti di convegno Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts , SAC'25: Proceedings of the Symposium on Applied Computing, ACM PRESS, pp. 329-337, Convegno: 40th ACM/SIGAPP Symposium On Applied Computing
DOI - Scheda ARCA: 10278/5091431
2025 Articolo in Atti di convegno Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts , SAC'25: Proceedings of the Symposium on Applied Computing, ACM PRESS, pp. 338-347, Convegno: 40th ACM/SIGAPP Symposium On Applied Computing
DOI - Scheda ARCA: 10278/5091430
2024 Articolo su rivista 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 - Scheda ARCA: 10278/5085613
2024 Articolo su rivista 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 - Scheda ARCA: 10278/5060921
2024 Articolo su rivista 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 - Scheda ARCA: 10278/5083652
2024 Articolo su rivista 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 - Scheda ARCA: 10278/5070301
2024 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/5088867
2024 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/5083061
2024 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/5072663
2024 Articolo in Atti di convegno Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea Towards a Sound Construction of EVM Bytecode Control-Flow Graphs , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 11-16, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024)
DOI - Scheda ARCA: 10278/5072662
2023 Articolo in Atti di convegno Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Information Flow Analysis for Detecting Non-Determinism in Blockchain , Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 263, Convegno: European Conference on Object-Oriented Programming (ECOOP) (ISBN 978-3-95977-281-5)
DOI - Scheda ARCA: 10278/5020965
2023 Articolo in Atti di convegno Olivieri, Luca; Jensen, Thomas; Negrini, Luca; Spoto, Fausto MichelsonLiSA: A Static Analyzer for Tezos , 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), Institute of Electrical and Electronical Engineers, pp. 80-85, Convegno: BRAIN 2023: 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (ISBN 978-1-6654-5381-3)
DOI - Scheda ARCA: 10278/5026160
2023 Articolo in Atti di convegno Olivieri L.; Pasetto L. Towards Compliance of Smart Contracts with the European Union Data Act , CEUR Workshop Proceedings, CEUR-WS, vol. 3629, pp. 7-11, Convegno: 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2023, 2023 (ISSN 1613-0073)
- Scheda ARCA: 10278/5048971
2022 Articolo su rivista Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio Fungible and non-fungible tokens with snapshots in Java in CLUSTER COMPUTING, vol. 26, pp. 2701-2718 (ISSN 1386-7857)
DOI - Scheda ARCA: 10278/5047701
2022 Articolo in Atti di convegno Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico Ensuring determinism in blockchain software with GoLiSA: an industrial experience report , SOAP 2022: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 23-29, Convegno: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450392747)
DOI - Scheda ARCA: 10278/5004420
2021 Articolo su rivista Ferrara P.; Olivieri L.; Spoto F. Static Privacy Analysis by Flow Reconstruction of Tainted Data in INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, vol. 31, pp. 973-1016 (ISSN 0218-1940)
DOI - Scheda ARCA: 10278/5004098
2021 Articolo in Atti di convegno Bozzetti M.R.A.; Olivieri L.; Spoto F. Cybersecurity impacts of the Covid-19 pandemic in Italy , CEUR Workshop Proceedings, CEUR-WS, vol. 2940, pp. 145-155, Convegno: 5th Italian Conference on Cybersecurity, ITASEC 2021, 2021 (ISSN 1613-0073)
- Scheda ARCA: 10278/5047703
2021 Articolo in Atti di convegno Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio On-Chain Smart Contract Verification over Tendermint , FC:2021 Financial Cryptography and Data Security. FC 2021 International Workshops, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY, SPRINGER-VERLAG BERLIN, vol. 12676, pp. 333-347, Convegno: 5th Workshop on Trusted Smart Contracts (WTSC) (ISBN 978-3-662-63957-3; 978-3-662-63958-0) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/5047702
2021 Articolo in Atti di convegno Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine , Third International Conference on Blockchain Computing and Applications (BCCA), 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, pp. 187-194, Convegno: International Conference on Blockchain Computing and Applications (BCCA) (ISBN 978-1-6654-2182-9)
DOI - Scheda ARCA: 10278/5047700
2020 Articolo in Atti di convegno Pietro Ferrara, Luca Olivieri, Fausto Spoto BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results , Verification, Model Checking, and Abstract Interpretation, Springer Verlag, Convegno: 21th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3720935
2018 Articolo in Atti di convegno Ferrara, Pietro; Luca Olivieri; Fausto Spoto Tailoring Taint Analysis to GDPR , Proceedings of Privacy Technologies and Policy - 6th Annual Privacy Forum, APF 2018, Springer, vol. Lecture Notes in Computer Science, pp. 63-76, Convegno: Privacy Technologies and Policy - 6th Annual Privacy Forum, APF 2018, June (ISBN 978-3-030-02546-5)
DOI - URL correlato - Scheda ARCA: 10278/3730034