« 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

• Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini. Inference of access policies through static analysis
  static-analysis  abstract-interpretation  robotics
  Challenges of Software Verification, International Journal on Software Tools for Technology Transfer (CSV 2024)
  Journal paper - January 10, 2025 • PDF available
• Vincenzo Arceri, Luca Negrini, Luca Olivieri, Pietro Ferrara. Challenges of software verification
  static-analysis  abstract-interpretation
  Challenges of Software Verification, International Journal on Software Tools for Technology Transfer (CSV 2024)
  Journal paper - January 8, 2025 • PDF available

2024

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

2023

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

2022

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

2021

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

2020

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

2018

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

PhD Thesis

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