| 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 | ICSA | From Legacy to Intelligent IIoT Systems: Automation, Scalability and Elasticity. | Gianluca Caiazza, Teodors Lisovenko, Pietro Ferrara, Fabio Berti, Francesca Ferrari, Alessandro Zaupa, Guangzheng Zhang |
| 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 | Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA. | Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White |
| 2024 | IROS | Automating ROS2 Security Policies Extraction through Static Analysis. | Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White |
| 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 |
| 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 |
| 2022 | VMCAI | Relational String Abstract Domains. | Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara |
| 2021 | PLDI | Static analysis for dummies: experiencing LiSA. | Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi |
| 2021 | VMCAI | Twinning Automata and Regular Expressions for String Static Analysis. | Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi |
| 2020 | ESORICS | Certifying Decision Trees Against Evasion Attacks by Program Analysis. | Stefano Calzavara, Pietro Ferrara, Claudio Lucchese |
| 2020 | SAC | Cross-program taint analysis for IoT systems. | Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto |
| 2020 | VMCAI | BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. | Pietro Ferrara, Luca Olivieri, Fausto Spoto |
| 2018 | ICSE | CIL to Java-bytecode translation for static analysis leveraging. | Pietro Ferrara, Agostino Cortesi, Fausto Spoto |
| 2018 | TrustCom | SDLI: Static Detection of Leaks Across Intents. | Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi |
| 2017 | FASE | Visual Configuration of Mobile Privacy Policies. | Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia |
| 2017 | VMCAI | Using Abstract Interpretation to Correct Synchronization Faults. | Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen |
| 2016 | ACSAC | FASE: functionality-aware security enforcement. | Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara |
| 2016 | ICSE | Pinpointing mobile malware using code analysis. | Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin |
| 2015 | ACSAC | MorphDroid: Fine-grained Privacy Verification. | Pietro Ferrara, Omer Tripp, Marco Pistoia |
| 2015 | OOPSLA | ShamDroid: gracefully degrading functionality in the presence of limited resource access. | Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia |
| 2015 | OOPSLA | Automatic detection, correction, and visualization of security vulnerabilities in mobile apps. | Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze |
| 2015 | VMCAI | Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. | Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp |
| 2015 | VMCAI | Automatic Inference of Heap Properties Exploiting Value Domains. | Pietro Ferrara, Peter Mller, Milos Novcek |
| 2014 | FASE | TouchCost: Cost Analysis of TouchDevelop Scripts. | Pietro Ferrara, Daniel Schweizer, Lucas Brutschy |
| 2014 | ISSTA | Hybrid security analysis of web JavaScript code via dynamic partial evaluation. | Omer Tripp, Pietro Ferrara, Marco Pistoia |
| 2014 | OOPSLA | Static analysis for independent app developers. | Lucas Brutschy, Pietro Ferrara, Peter Mller |
| 2014 | OOPSLA | TouchGuru: Integrating Static Analysis with a Mobile Development Environment. | Lucas Brutschy, Pietro Ferrara, Peter Mller |
| 2014 | VMCAI | Generic Combination of Heap and Value Analyses in Abstract Interpretation. | Pietro Ferrara |
| 2013 | ICFEM | The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. | Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi |
| 2012 | APLAS | Linear Approximation of Continuous Systems with Trapezoid Step Functions. | Giulia Costantini, Pietro Ferrara, Agostino Cortesi |
| 2012 | SAC | SAILS: static analysis of information leakage with sample. | Matteo Zanioli, Pietro Ferrara, Agostino Cortesi |
| 2012 | SEFM | TVAL+ : TVLA and Value Analyses Together. | Pietro Ferrara, Raphael Fuchs, Uri Juhasz |
| 2012 | VMCAI | Automatic Inference of Access Permissions. | Pietro Ferrara, Peter Mller |
| 2011 | ICFEM | Static Analysis of String Values. | Giulia Costantini, Pietro Ferrara, Agostino Cortesi |
| 2010 | FORTE | Static Type Analysis of Pattern Matching by Abstract Interpretation. | Pietro Ferrara |
| 2009 | SEFM | Checkmate: A Generic Static Analyzer of Java Multithreaded Programs. | Pietro Ferrara |
| 2008 | OOPSLA | Safer unsafe code for .NET. | Pietro Ferrara, Francesco Logozzo, Manuel Fhndrich |
| 2008 | SEFM | Static Analysis of the Determinism of Multithreaded Programs. | Pietro Ferrara |
| 2008 | TAP | Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. | Pietro Ferrara |