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-01-01 Ferrara, P
A suite of abstract domains for static analysis of string values
2015-01-01 Costantini, Giulia; Ferrara, Pietro; Cortesi, Agostino
A Survey on Product Operators in Abstract Interpretation
2013-01-01 Cortesi, Agostino; Costantini, Giulia; Ferrara, P.
Automating ROS2 Security Policies Extraction through Static Analysis
2024-01-01 Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca; White, Ruffin
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results
2020-01-01 Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
Certifying decision trees against evasion attacks by program analysis
2020-01-01 Calzavara, S.; Ferrara, P.; Lucchese, C.
Certifying machine learning models against evasion attacks by program analysis
2023-01-01 Calzavara, S; Ferrara, P; Lucchese, C
Challenges of software verification: the past, the present, the future
2024-01-01 Ferrara, P.; Arceri, V.; Cortesi, A.
Checkmate: A generic static analyzer of Java multithreaded programs
2009-01-01 Ferrara, P
CIL to Java-bytecode translation for static analysis leveraging
2018-01-01 Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Combining symbolic and numerical domains for information leakage analysis
2018-01-01 Cortesi, Agostino; Ferrara, Pietro; Halder, Raju; Zanioli, Matteo
Cross-Program Taint Analysis for IoT Systems
2020-01-01 Mandal, AMIT KR; Ferrara, Pietro; Khlyebnikov, Yuliy; Cortesi, Agostino; Spoto, Fausto
Cross-Programming Language Taint Analysis for the IoT Ecosystem
2019-01-01 Ferrara, Pietro; Mandal, AMIT KR; Cortesi, Agostino; Spoto, Fausto
DAPA: Degradation-Aware Privacy Analysis of Android Apps
2016-01-01 Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Steffinlongo, Enrico
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications
2015-01-01 Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer
Detection of Phantom Reads in Hyperledger Fabric
2024-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report
2022-01-01 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
European Union Data Act and Blockchain Technology: Challenges and New Directions
2024-01-01 Olivieri, L.; Pasetto, L.; Negrini, L.; Ferrara, P.
FASE: Functionality-aware security enforcement
2016-01-01 Tsankov, P; Pistoia, M; Tripp, O; Vechev, M; Ferrara, P
Foraging goes mobile: Foraging while debugging on mobile devices
2017-01-01 Piorkowski, D; Penney, S; Henley, A. Z.; Pistoia, M; Burnett, M; Tripp, O; Ferrara, P