FERRARA, Pietro
FERRARA, Pietro
Dipartimento di Scienze Ambientali, Informatica e Statistica
A generic framework for heap and value analyses of object-oriented programming languages
2016 Ferrara, P
A suite of abstract domains for static analysis of string values
2015 Costantini, Giulia; Ferrara, Pietro; Cortesi, Agostino
A Survey on Product Operators in Abstract Interpretation
2013 Cortesi, Agostino; Costantini, Giulia; Ferrara, P.
An Overview of Termination in the Ethereum Blockchain
2026 Olivieri, Luca; Pasetto, Luca; Negrini, Luca; Ferrara, Pietro
Automating ROS2 Security Policies Extraction through Static Analysis
2024 Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca; White, Ruffin
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results
2020 Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
Certifying decision trees against evasion attacks by program analysis
2020 Calzavara, S.; Ferrara, P.; Lucchese, C.
Certifying machine learning models against evasion attacks by program analysis
2023 Calzavara, S; Ferrara, P; Lucchese, C
Challenges of software verification
2024 Arceri, Vincenzo; Negrini, Luca; Olivieri, Luca; Ferrara, Pietro
Challenges of software verification: the past, the present, the future
2024 Ferrara, P.; Arceri, V.; Cortesi, A.
Checkmate: A generic static analyzer of Java multithreaded programs
2009 Ferrara, P
CIL to Java-bytecode translation for static analysis leveraging
2018 Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric
2025 Olivieri, Luca; Beste, David; Negrini, Luca; Schonherr, Lea; Cina', Antonio Emanuele; Ferrara, Pietro
Combining symbolic and numerical domains for information leakage analysis
2018 Cortesi, Agostino; Ferrara, Pietro; Halder, Raju; Zanioli, Matteo
Cross-Program Taint Analysis for IoT Systems
2020 Mandal, AMIT KR; Ferrara, Pietro; Khlyebnikov, Yuliy; Cortesi, Agostino; Spoto, Fausto
Cross-Programming Language Taint Analysis for the IoT Ecosystem
2019 Ferrara, Pietro; Mandal, AMIT KR; Cortesi, Agostino; Spoto, Fausto
DAPA: Degradation-Aware Privacy Analysis of Android Apps
2016 Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Steffinlongo, Enrico
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications
2015 Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer
Detection of Phantom Reads in Hyperledger Fabric
2024 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts
2025 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino