Luca Olivieri -

Registered user since Wed 24 Jan 2024

Name:Luca Olivieri

Country:Italy

Affiliation:University Ca' Foscari, Venice

Research interests:Program Verification, Static Analysis, Formal Methods, Blockchain, Smart Contracts, Data compliance, Privacy

Contributions

2026

ASE

Author of GoLiSA: An Advanced Static Analysis Tool for Detecting Potential Risks and Vulnerabilities in Hyperledger Fabric Smart Contracts within the Tools and Datasets-track

Static Analysis Symposium

Author of A Modular Framework for Stack-Heap and Value Abstractions within the SAS 2026-track

2025

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2024

FTfJP

Author of Towards a Sound Construction of EVM Bytecode Control-flow Graphs within the FTfJP 2024-track

ECOOP

Committee Member in Extended Review Committee and External Reviewers within the Technical Papers-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track