Luca Olivieri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution). | Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara |
| 2025 | ISSRE | Detection of Cross-Channel Invocation Risks in Hyperledger Fabric. | Luca Olivieri |
| 2025 | ISSRE | Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric. | Luca Olivieri, David Beste, Luca Negrini, Lea Schnherr, Antonio Emanuele Cin, Pietro Ferrara |
| 2025 | SAC | Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi |
| 2025 | SAC | Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto |
| 2024 | FTfJP | Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. | Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella |
| 2023 | ECOOP | Information Flow Analysis for Detecting Non-Determinism in Blockchain. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto |
| 2023 | PERCOM | MichelsonLiSA: A Static Analyzer for Tezos. | Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto |
| 2022 | PLDI | Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. | Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin |
| 2021 | FC | On-Chain Smart Contract Verification over Tendermint. | Luca Olivieri, Fausto Spoto, Fabio Tagliaferro |
| 2020 | VMCAI | BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. | Pietro Ferrara, Luca Olivieri, Fausto Spoto |