Pietro Ferrara

According to our database, Pietro Ferrara authored at least 69 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

State of the art in program analysis.

Pietro Ferrara, Liana Hadarean

Int. J. Softw. Tools Technol. Transf., October, 2024

Challenges of software verification: the past, the present, the future.

Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi

Int. J. Softw. Tools Technol. Transf., August, 2024

Tarsis: An effective automata-based abstract domain for string analysis.

Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara

J. Softw. Evol. Process., August, 2024

Detection of Phantom Reads in Hyperledger Fabric.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi

IEEE Access, 2024

General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study.

Luca Olivieri, Vincenzo Arceri, Badaruddin Chachar, Luca Negrini, Fabio Tagliaferro, Fausto Spoto, Pietro Ferrara, Agostino Cortesi

IEEE Access, 2024

Teaching Through Practice: Advanced Static Analysis with LiSA.

Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara

Proceedings of the Formal Methods Teaching - 6th Formal Methods Teaching Workshop, 2024

Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA.

Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

European Union Data Act and Blockchain Technology: Challenges and New Directions.

Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

2023

Certifying machine learning models against evasion attacks by program analysis.

Stefano Calzavara, Pietro Ferrara, Claudio Lucchese

J. Comput. Secur., 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Dagstuhl Artifacts Ser., 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Relational String Abstract Domains.

Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

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

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

Static analysis for discovering IoT vulnerabilities.

Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto

Int. J. Softw. Tools Technol. Transf., 2021

Static Privacy Analysis by Flow Reconstruction of Tainted Data.

Pietro Ferrara, Luca Olivieri, Fausto Spoto

Int. J. Softw. Eng. Knowl. Eng., 2021

Twinning Automata and Regular Expressions for String Static Analysis.

Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Static analysis for dummies: experiencing LiSA.

Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi

Proceedings of the SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2021

2020

From CIL to Java bytecode: Semantics-based translation for static analysis leveraging.

Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Sci. Comput. Program., 2020

SARL: OO Framework Specification for Static Analysis.

Pietro Ferrara, Luca Negrini

Proceedings of the Software Verification - 12th International Conference, 2020

BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results.

Pietro Ferrara, Luca Olivieri, Fausto Spoto

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Cross-program taint analysis for IoT systems.

Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Certifying Decision Trees Against Evasion Attacks by Program Analysis.

Stefano Calzavara, Pietro Ferrara, Claudio Lucchese

Proceedings of the Computer Security - ESORICS 2020, 2020

Intents Analysis of Android Apps for Confidentiality Leakage Detection.

Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto

Proceedings of the Advanced Computing and Systems for Security, 2020

2019

Static Identification of Injection Attacks in Java.

Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon

ACM Trans. Program. Lang. Syst., 2019

Static analysis of Android Auto infotainment and on-board diagnostics II apps.

Amit Kr Mandal, Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Fausto Spoto

Softw. Pract. Exp., 2019

Cross-Programming Language Taint Analysis for the IoT Ecosystem.

Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019

2018

Combining Symbolic and Numerical Domains for Information Leakage Analysis.

Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli

Trans. Comput. Sci., 2018

SDLI: Static Detection of Leaks Across Intents.

Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi

Proceedings of the 17th IEEE International Conference On Trust, 2018

Static Analysis of Android Apps Interaction with Automotive CAN.

Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto

Proceedings of the Smart Computing and Communication - Third International Conference, 2018

Static Analysis for GDPR Compliance.

Pietro Ferrara, Fausto Spoto

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

CIL to Java-bytecode translation for static analysis leveraging.

Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Vulnerability analysis of Android auto infotainment apps.

Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

Tailoring Taint Analysis to GDPR.

Pietro Ferrara, Luca Olivieri, Fausto Spoto

Proceedings of the Privacy Technologies and Policy - 6th Annual Privacy Forum, 2018

2017

Using Abstract Interpretation to Correct Synchronization Faults.

Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Foraging goes mobile: Foraging while debugging on mobile devices.

David Piorkowski, Sean Penney, Austin Z. Henley, Marco Pistoia, Margaret M. Burnett, Omer Tripp, Pietro Ferrara

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

Security Analysis of the OWASP Benchmark with Julia.

Pietro Ferrara, Elisa Burato, Fausto Spoto

Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017

Visual Configuration of Mobile Privacy Policies.

Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

A generic framework for heap and value analyses of object-oriented programming languages.

Pietro Ferrara

Theor. Comput. Sci., 2016

DAPA: Degradation-Aware Privacy Analysis of Android Apps.

Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Pinpointing mobile malware using code analysis.

Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

FASE: functionality-aware security enforcement.

Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2015

A suite of abstract domains for static analysis of string values.

Giulia Costantini, Pietro Ferrara, Agostino Cortesi

Softw. Pract. Exp., 2015

The abstract domain of Trapezoid Step Functions.

Agostino Cortesi, Giulia Costantini, Pietro Ferrara

Comput. Lang. Syst. Struct., 2015

Automatic Inference of Heap Properties Exploiting Value Domains.

Pietro Ferrara, Peter Müller, Milos Novácek

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications.

Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Automatic detection, correction, and visualization of security vulnerabilities in mobile apps.

Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

ShamDroid: gracefully degrading functionality in the presence of limited resource access.

Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis.

Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp

Proceedings of the Computer Information Systems and Industrial Management, 2015

MorphDroid: Fine-grained Privacy Verification.

Pietro Ferrara, Omer Tripp, Marco Pistoia

Proceedings of the 31st Annual Computer Security Applications Conference, 2015

2014

Generic Combination of Heap and Value Analyses in Abstract Interpretation.

Pietro Ferrara

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

TouchGuru: Integrating Static Analysis with a Mobile Development Environment.

Lucas Brutschy, Pietro Ferrara, Peter Müller

Proceedings of the 2nd International Workshop on Mobile Development Lifecycle, 2014

Static analysis for independent app developers.

Lucas Brutschy, Pietro Ferrara, Peter Müller

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Hybrid security analysis of web JavaScript code via dynamic partial evaluation.

Omer Tripp, Pietro Ferrara, Marco Pistoia

Proceedings of the International Symposium on Software Testing and Analysis, 2014

TouchCost: Cost Analysis of TouchDevelop Scripts.

Pietro Ferrara, Daniel Schweizer, Lucas Brutschy

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

A generic static analyzer for multithreaded Java programs.

Pietro Ferrara

Softw. Pract. Exp., 2013

A Survey on Product Operators in Abstract Interpretation.

Agostino Cortesi, Giulia Costantini, Pietro Ferrara

Proceedings of the Semantics, 2013

Static analysis techniques for robotics software verification.

Agostino Cortesi, Pietro Ferrara, Nabendu Chaki

Proceedings of the 44th Internationel Symposium on Robotics, 2013

The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software.

Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Automatic Inference of Access Permissions.

Pietro Ferrara, Peter Müller

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

TVAL+ : TVLA and Value Analyses Together.

Pietro Ferrara, Raphael Fuchs, Uri Juhasz

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

SAILS: static analysis of information leakage with sample.

Matteo Zanioli, Pietro Ferrara, Agostino Cortesi

Proceedings of the ACM Symposium on Applied Computing, 2012

Linear Approximation of Continuous Systems with Trapezoid Step Functions.

Giulia Costantini, Pietro Ferrara, Agostino Cortesi

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Static Analysis of String Values.

Giulia Costantini, Pietro Ferrara, Agostino Cortesi

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Static Type Analysis of Pattern Matching by Abstract Interpretation.

Pietro Ferrara

Proceedings of the Formal Techniques for Distributed Systems, 2010

2009

Static analysis via abstract interpretation of multithreaded programs. (Analyse statique de logiciels MultitâCHES par InterpréTation abstraite).

Pietro Ferrara

PhD thesis, 2009

Checkmate: A Generic Static Analyzer of Java Multithreaded Programs.

Pietro Ferrara

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model.

Pietro Ferrara

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

Static Analysis of the Determinism of Multithreaded Programs.

Pietro Ferrara

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Safer unsafe code for .NET.

Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008