Pietro Ferrara

86 papers A 10B 15C 4Misc 4Journal 22Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution). TACAS (2) Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara
2025	—	`conf`	An Overview of Termination in the Ethereum Blockchain. BlockTEA Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara
2025	A	`conf`	Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric. ISSRE Luca Olivieri, David Beste, Luca Negrini, Lea Schönherr, Antonio Emanuele Cinà, Pietro Ferrara
2025	Misc	`conf`	Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts. SAC Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2025	—	`conf`	Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning. ITASEC/SERICS Badaruddin Chachar, Marc Cavazza, Andrea Bracciali, Pietro Ferrara, Agostino Cortesi
2025	A	`conf`	From Legacy to Intelligent IIoT Systems: Automation, Scalability and Elasticity. ICSA Gianluca Caiazza, Teodors Lisovenko, Pietro Ferrara, Fabio Berti, Francesca Ferrari, Alessandro Zaupa, Guangzheng Zhang
2025	Misc	`conf`	Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts. SAC Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2024	A	`conf`	Automating ROS2 Security Policies Extraction through Static Analysis. IROS Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White
2024	J	`jnl`	Challenges of software verification. Int. J. Softw. Tools Technol. Transf. Vincenzo Arceri, Luca Negrini, Luca Olivieri, Pietro Ferrara
2024	J	`jnl`	Challenges of software verification: the past, the present, the future. Int. J. Softw. Tools Technol. Transf. Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi
2024	J	`jnl`	Detection of Phantom Reads in Hyperledger Fabric. IEEE Access Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi
2024	C	`conf`	European Union Data Act and Blockchain Technology: Challenges and New Directions. DLT Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara
2024	J	`jnl`	General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. IEEE Access Luca Olivieri, Vincenzo Arceri, Badaruddin Chachar, Luca Negrini, Fabio Tagliaferro, Fausto Spoto, Pietro Ferrara, Agostino Cortesi
2024	J	`jnl`	Inference of access policies through static analysis. Int. J. Softw. Tools Technol. Transf. Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini
2024	—	`conf`	Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA. FTfJP@ECOOP Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White
2024	—	`conf`	Stability: An Abstract Domain for the Trend of Variation of Numerical Variables. NSAD@SAS Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, Agostino Cortesi
2024	J	`jnl`	State of the art in program analysis. Int. J. Softw. Tools Technol. Transf. Pietro Ferrara, Liana Hadarean
2024	J	`jnl`	Tarsis: An effective automata-based abstract domain for string analysis. J. Softw. Evol. Process. Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara
2024	—	`conf`	Teaching Through Practice: Advanced Static Analysis with LiSA. FMTea Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara
2023	J	`jnl`	Certifying machine learning models against evasion attacks by program analysis. J. Comput. Secur. Stefano Calzavara, Pietro Ferrara, Claudio Lucchese
2023	—	`ed.`	Challenges of Software Verification Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro
2023	J	`jnl`	Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Dagstuhl Artifacts Ser. Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023	A	`conf`	Information Flow Analysis for Detecting Non-Determinism in Blockchain. ECOOP Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023	—	`ch.`	LiSA: A Generic Framework for Multilanguage Static Analysis. Challenges of Software Verification Luca Negrini, Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi
2023	—	`ch.`	Lifting String Analysis Domains. Challenges of Software Verification Martina Olliaro, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara
2023	—	`ed.`	Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023 SOAP@PLDI Pietro Ferrara, Liana Hadarean
2022	—	`conf`	Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. SOAP@PLDI Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin
2022	B	`conf`	Relational String Abstract Domains. VMCAI Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara
2021	J	`jnl`	Static Privacy Analysis by Flow Reconstruction of Tainted Data. Int. J. Softw. Eng. Knowl. Eng. Pietro Ferrara, Luca Olivieri, Fausto Spoto
2021	J	`jnl`	Static analysis for discovering IoT vulnerabilities. Int. J. Softw. Tools Technol. Transf. Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto
2021	—	`conf`	Static analysis for dummies: experiencing LiSA. SOAP@PLDI Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi
2021	B	`conf`	Twinning Automata and Regular Expressions for String Static Analysis. VMCAI Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2020	B	`conf`	BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. VMCAI Pietro Ferrara, Luca Olivieri, Fausto Spoto
2020	—	`conf`	Certifying Decision Trees Against Evasion Attacks by Program Analysis. ESORICS (2) Stefano Calzavara, Pietro Ferrara, Claudio Lucchese
2020	J	`jnl`	Certifying Decision Trees Against Evasion Attacks by Program Analysis. CoRR Stefano Calzavara, Pietro Ferrara, Claudio Lucchese
2020	Misc	`conf`	Cross-program taint analysis for IoT systems. SAC Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto
2020	J	`jnl`	From CIL to Java bytecode: Semantics-based translation for static analysis leveraging. Sci. Comput. Program. Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2020	—	`conf`	Intents Analysis of Android Apps for Confidentiality Leakage Detection. ACSS (1) Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto
2020	—	`conf`	SARL: OO Framework Specification for Static Analysis. VSTTE Pietro Ferrara, Luca Negrini
2020	J	`jnl`	Twinning automata and regular expressions for string static analysis. CoRR Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2019	J	`jnl`	Cross-Programming Language Taint Analysis for the IoT Ecosystem. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto
2019	J	`jnl`	Static Identification of Injection Attacks in Java. ACM Trans. Program. Lang. Syst. Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon
2019	J	`jnl`	Static analysis of Android Auto infotainment and on-board diagnostics II apps. Softw. Pract. Exp. Amit Kr Mandal, Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Fausto Spoto
2018	—	`conf`	CIL to Java-bytecode translation for static analysis leveraging. FormaliSE@ICSE Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2018	J	`jnl`	Combining Symbolic and Numerical Domains for Information Leakage Analysis. Trans. Comput. Sci. Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli
2018	—	`conf`	SDLI: Static Detection of Leaks Across Intents. TrustCom/BigDataSE Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi
2018	—	`conf`	Static Analysis for GDPR Compliance. ITASEC Pietro Ferrara, Fausto Spoto
2018	—	`conf`	Static Analysis of Android Apps Interaction with Automotive CAN. SmartCom Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto
2018	—	`conf`	Tailoring Taint Analysis to GDPR. APF Pietro Ferrara, Luca Olivieri, Fausto Spoto
2018	—	`conf`	Vulnerability analysis of Android auto infotainment apps. CF Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto
2017	B	`conf`	Foraging goes mobile: Foraging while debugging on mobile devices. VL/HCC David Piorkowski, Sean Penney, Austin Z. Henley, Marco Pistoia, Margaret M. Burnett, Omer Tripp, Pietro Ferrara
2017	—	`conf`	Security Analysis of the OWASP Benchmark with Julia. ITASEC Pietro Ferrara, Elisa Burato, Fausto Spoto
2017	B	`conf`	Using Abstract Interpretation to Correct Synchronization Faults. VMCAI Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen
2017	B	`conf`	Visual Configuration of Mobile Privacy Policies. FASE Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia
2016	J	`jnl`	A generic framework for heap and value analyses of object-oriented programming languages. Theor. Comput. Sci. Pietro Ferrara
2016	—	`conf`	DAPA: Degradation-Aware Privacy Analysis of Android Apps. STM Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo
2016	A	`conf`	FASE: functionality-aware security enforcement. ACSAC Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara
2016	—	`conf`	Pinpointing mobile malware using code analysis. MOBILESoft Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin
2015	J	`jnl`	A suite of abstract domains for static analysis of string values. Softw. Pract. Exp. Giulia Costantini, Pietro Ferrara, Agostino Cortesi
2015	B	`conf`	Automatic Inference of Heap Properties Exploiting Value Domains. VMCAI Pietro Ferrara, Peter Müller, Milos Novácek
2015	—	`conf`	Automatic detection, correction, and visualization of security vulnerabilities in mobile apps. MobileDeLi Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze
2015	B	`conf`	Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. VMCAI Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
2015	A	`conf`	MorphDroid: Fine-grained Privacy Verification. ACSAC Pietro Ferrara, Omer Tripp, Marco Pistoia
2015	—	`conf`	Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis. CISIM Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
2015	A	`conf`	ShamDroid: gracefully degrading functionality in the presence of limited resource access. OOPSLA Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia
2015	J	`jnl`	The abstract domain of Trapezoid Step Functions. Comput. Lang. Syst. Struct. Agostino Cortesi, Giulia Costantini, Pietro Ferrara
2014	B	`conf`	Generic Combination of Heap and Value Analyses in Abstract Interpretation. VMCAI Pietro Ferrara
2014	A	`conf`	Hybrid security analysis of web JavaScript code via dynamic partial evaluation. ISSTA Omer Tripp, Pietro Ferrara, Marco Pistoia
2014	A	`conf`	Static analysis for independent app developers. OOPSLA Lucas Brutschy, Pietro Ferrara, Peter Müller
2014	B	`conf`	TouchCost: Cost Analysis of TouchDevelop Scripts. FASE Pietro Ferrara, Daniel Schweizer, Lucas Brutschy
2014	—	`conf`	TouchGuru: Integrating Static Analysis with a Mobile Development Environment. MobileDeLi Lucas Brutschy, Pietro Ferrara, Peter Müller
2013	—	`conf`	A Survey on Product Operators in Abstract Interpretation. Festschrift for Dave Schmidt Agostino Cortesi, Giulia Costantini, Pietro Ferrara
2013	J	`jnl`	A generic static analyzer for multithreaded Java programs. Softw. Pract. Exp. Pietro Ferrara
2013	—	`conf`	Static analysis techniques for robotics software verification. ISR Agostino Cortesi, Pietro Ferrara, Nabendu Chaki
2013	C	`conf`	The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. ICFEM Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi
2012	B	`conf`	Automatic Inference of Access Permissions. VMCAI Pietro Ferrara, Peter Müller
2012	B	`conf`	Linear Approximation of Continuous Systems with Trapezoid Step Functions. APLAS Giulia Costantini, Pietro Ferrara, Agostino Cortesi
2012	Misc	`conf`	SAILS: static analysis of information leakage with sample. SAC Matteo Zanioli, Pietro Ferrara, Agostino Cortesi
2012	B	`conf`	TVAL+ : TVLA and Value Analyses Together. SEFM Pietro Ferrara, Raphael Fuchs, Uri Juhasz
2011	C	`conf`	Static Analysis of String Values. ICFEM Giulia Costantini, Pietro Ferrara, Agostino Cortesi
2010	—	`conf`	Static Type Analysis of Pattern Matching by Abstract Interpretation. FMOODS/FORTE Pietro Ferrara
2009	B	`conf`	Checkmate: A Generic Static Analyzer of Java Multithreaded Programs. SEFM Pietro Ferrara
2009	—	`—`	Static analysis via abstract interpretation of multithreaded programs. (Analyse statique de logiciels MultitâCHES par InterpréTation abstraite). Pietro Ferrara
2008	A	`conf`	Safer unsafe code for .NET. OOPSLA Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich
2008	C	`conf`	Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. TAP Pietro Ferrara
2008	B	`conf`	Static Analysis of the Determinism of Multithreaded Programs. SEFM Pietro Ferrara