« Home

All publications

You can find all available PDFs for the publications in this page here. Each individual publication’s page will contain a direct link to the corresponding manuscript when available.

2025

• Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts
  By Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
  Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing (SAC 2025)
  blockchain  static-analysis  abstract-interpretation
  Conference paper - March 31, 2025 • PDF available
• Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts
  By Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
  Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing (SAC 2025)
  blockchain  static-analysis  abstract-interpretation
  Conference paper - March 31, 2025 • PDF available
• Inference of access policies through static analysis
  By Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini
  Challenges of Software Verification, International Journal on Software Tools for Technology Transfer (CSV 2024)
  static-analysis  abstract-interpretation  robotics
  Journal paper - January 10, 2025 • PDF available
• Challenges of software verification
  By Vincenzo Arceri, Luca Negrini, Luca Olivieri, Pietro Ferrara
  Challenges of Software Verification, International Journal on Software Tools for Technology Transfer (CSV 2024)
  static-analysis  abstract-interpretation
  Journal paper - January 8, 2025 • PDF available

2024

• General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study
  By Luca Olivieri, Vincenzo Arceri, Badaruddin Chachar, Luca Negrini, Fabio Tagliaferro, Fausto Spoto, Pietro Ferrara, Agostino Cortesi
  IEEE Access
  blockchain  programming-languages
  Journal paper - November 13, 2024 • PDF available
• Stability: an Abstract Domain for the Trend of Variation of Numerical Variables
  By Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, Agostino Cortesi
  10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2024)
  static-analysis  abstract-interpretation  numeric-abstractions
  Workshop paper - October 22, 2024 - Pasadena, California, United States • PDF available
• Automating ROS2 Security Policies Extraction through Static Analysis
  By Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White
  IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2024)
  static-analysis  abstract-interpretation  robotics
  Conference paper - October 14-18, 2024 - Abu Dhabi, United Arab Emirates • PDF available
• Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
  By Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White
  Formal Techniques for Java-like Programs (FTfJP 2024)
  static-analysis  abstract-interpretation  microservices
  Workshop paper - September 16, 2024 - Wien, Austria • PDF available
• Towards a Sound Construction of EVM Bytecode Control-flow Graphs
  By Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella
  Formal Techniques for Java-like Programs (FTfJP 2024)
  static-analysis  abstract-interpretation  evm  cfg-reconstruction
  Workshop paper - September 20, 2024 - Wien, Austria • PDF available
• Teaching Through Practice: Advanced Static Analysis with LiSA
  By Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara
  Formal Methods Teaching (FMTea 2024)
  static-analysis  abstract-interpretation  teaching
  Workshop paper - September 10, 2024 - Milan, Italy • PDF available
• Detection of Phantom Reads in Hyperledger Fabric
  By Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi
  IEEE Access, Volume 12
  blockchain  static-analysis  abstract-interpretation
  Journal paper - June 5, 2024 • PDF available
• European Union Data Act and Blockchain Technology: Challenges and New Directions
  By Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara
  6th Distributed Ledger Technologies Workshop (DLT2024)
  data-act  blockchain
  Workshop paper - May 14-15, 2024 - Turin, Italy • PDF available
• Tarsis: An effective automata-based abstract domain for string analysis
  By Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara
  Journal of Software: Evolution and Processes
  string-analysis  static-analysis  abstract-interpretation
  Journal paper - February 14, 2024 • PDF available
• Design and Implementation of Static Analyses for Tezos Smart Contracts
  By Luca Olivieri, Luca Negrini, Vincenzo Arceri, Thomas Jensen, Fausto Spoto
  Distributed Ledger Technologies: Research and Practice
  blockchain  static-analysis  abstract-interpretation
  Journal paper - January 11, 2024 • PDF available

2023

• LiSA: A Generic Framework for Multilanguage Static Analysis
  By Luca Negrini, Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi
  Challenges of Software Verification, Intelligent Systems Reference Library (CSV 2023)
  static-analysis  abstract-interpretation  multilanguage-analysis
  Book chapter - July 22, 2023 • PDF available
• Information Flow Analysis for Detecting Non-Determinism in Blockchain
  By Luca Olivieri, Vincenzo Arceri, Luca Negrini, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
  Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
  blockchain  static-analysis  abstract-interpretation
  Conference paper - July 19-21, 2023 - Seattle, Washington, USA • PDF available
• Static Analysis of Data Transformations in Jupyter Notebooks
  By Luca Negrini, Guruprerana Shabadi, Caterina Urban
  Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2023)
  data-science  static-analysis  abstract-interpretation  jupyter-notebooks
  Workshop paper - June 17, 2023 - Orlando, FL, USA & online • PDF available
• MichelsonLiSA: A Static Analyzer for Tezos
  By Luca Olivieri, Thomas Jensen, Luca Negrini, Fausto Spoto
  2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (BRAIN 2023)
  blockchain  static-analysis  abstract-interpretation
  Workshop paper - March 13, 2023 - Atlanta, GA, USA • PDF available

2022

• Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
  By Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Tallin
  Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022)
  blockchain  static-analysis  abstract-interpretation
  Workshop paper - June 14, 2022 - San Diego, CA, USA & online • PDF available

2021

• Static analysis for dummies: experiencing LiSA
  By Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi
  Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021)
  static-analysis  abstract-interpretation  teaching
  Workshop paper - June 22, 2021 - San Diego, CA, USA & online • PDF available
• Twinning Automata and Regular Expressions for String Static Analysis
  By Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
  22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021)
  string-analysis  static-analysis  abstract-interpretation
  Conference paper - January 17-19, 2021 - Online conference • PDF available

2020

• SARL: OO Framework Specification for Static Analysis
  By Pietro Ferrara, Luca Negrini
  12th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2020)
  library-models  software-frameworks  static-analysis
  Conference paper - July 20, 2020 - Online conference • PDF available

2018

• SARL: Framework Specification for Static Analysis
  By Luca Negrini, Pietro Ferrara
  The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS 2018)
  library-models  software-frameworks  static-analysis
  Extended abstract with no proceedings - August 28, 2018 - Freiburg im Breisgau, Germany • PDF available

PhD Thesis

• A Generic Framework for Multilanguage Analysis
  By Luca Negrini
  Ca' Foscari University of Venice
  static-analysis  abstract-interpretation  multilanguage-analysis  string-analysis  data-science  jupyter-notebooks  blockchain  library-models  software-frameworks  teaching
  PhD Thesis - January 23, 2023 - Venice, Italy • PDF available • Slides available