default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPietro Ferrara 0001
Person information
- affiliation: Ca' Foscari University of Venice, Italy
Other persons with the same name
- Pietro Ferrara 0002
![[0000-0002-0349-3221]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-0349-3221")
— University of Milano-Bicocca, Research Center on Public Health, Milan, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j17]Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi:
Detection of Phantom Reads in Hyperledger Fabric. IEEE Access 12: 80687-80697 (2024)- [j16]Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara:
Tarsis: An effective automata-based abstract domain for string analysis. J. Softw. Evol. Process. 36(8) (2024) - [j15]Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi:
Challenges of software verification: the past, the present, the future. Int. J. Softw. Tools Technol. Transf. 26(4): 421-430 (2024) - [j14]Pietro Ferrara, Liana Hadarean:
State of the art in program analysis. Int. J. Softw. Tools Technol. Transf. 26(5): 569-571 (2024) - [c50]Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara:
European Union Data Act and Blockchain Technology: Challenges and New Directions. DLT 2024 - [c49]Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White:
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA. FTfJP@ECOOP 2024: 5-10 - [c48]Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara:
Teaching Through Practice: Advanced Static Analysis with LiSA. FMTea 2024: 43-57 - 2023
- [j13]Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Dagstuhl Artifacts Ser. 9(2): 23:1-23:3 (2023) - [j12]Stefano Calzavara, Pietro Ferrara, Claudio Lucchese:
Certifying machine learning models against evasion attacks by program analysis. J. Comput. Secur. 31(1): 57-84 (2023) - [c47]Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
Information Flow Analysis for Detecting Non-Determinism in Blockchain. ECOOP 2023: 23:1-23:25 - [e1]Pietro Ferrara, Liana Hadarean:
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. ACM 2023 [contents] - 2022
- [c46]Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin:
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. SOAP@PLDI 2022: 23-29 - [c45]Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara:
Relational String Abstract Domains. VMCAI 2022: 20-42 - 2021
- [j11]Pietro Ferrara, Luca Olivieri, Fausto Spoto:
Static Privacy Analysis by Flow Reconstruction of Tainted Data. Int. J. Softw. Eng. Knowl. Eng. 31(7): 973-1016 (2021) - [j10]Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto:
Static analysis for discovering IoT vulnerabilities. Int. J. Softw. Tools Technol. Transf. 23(1): 71-88 (2021) - [c44]Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi:
Static analysis for dummies: experiencing LiSA. SOAP@PLDI 2021: 1-6 - [c43]Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi:
Twinning Automata and Regular Expressions for String Static Analysis. VMCAI 2021: 267-290 - 2020
- [j9]Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging. Sci. Comput. Program. 191: 102392 (2020) - [c42]Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto:
Intents Analysis of Android Apps for Confidentiality Leakage Detection. ACSS (1) 2020: 43-65 - [c41]Stefano Calzavara, Pietro Ferrara, Claudio Lucchese:
Certifying Decision Trees Against Evasion Attacks by Program Analysis. ESORICS (2) 2020: 421-438 - [c40]Amit Kr Mandal, Pietro Ferrara, Yuliy Khlyebnikov, Agostino Cortesi, Fausto Spoto:
Cross-program taint analysis for IoT systems. SAC 2020: 1944-1952 - [c39]Pietro Ferrara, Luca Olivieri, Fausto Spoto:
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. VMCAI 2020: 23-43 - [c38]Pietro Ferrara, Luca Negrini:
SARL: OO Framework Specification for Static Analysis. VSTTE 2020: 3-20 - [i2]Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi:
Twinning automata and regular expressions for string static analysis. CoRR abs/2006.02715 (2020) - [i1]Stefano Calzavara, Pietro Ferrara, Claudio Lucchese:
Certifying Decision Trees Against Evasion Attacks by Program Analysis. CoRR abs/2007.02771 (2020)
2010 – 2019
- 2019
- [j8]Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto:
Cross-Programming Language Taint Analysis for the IoT Ecosystem. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019) - [j7]Amit Kr Mandal, Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Fausto Spoto:
Static analysis of Android Auto infotainment and on-board diagnostics II apps. Softw. Pract. Exp. 49(7): 1131-1161 (2019) - [j6]Fausto Spoto, Elisa Burato, Michael D. Ernst, Pietro Ferrara, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon:
Static Identification of Injection Attacks in Java. ACM Trans. Program. Lang. Syst. 41(3): 18:1-18:58 (2019) - 2018
- [j5]Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli:
Combining Symbolic and Numerical Domains for Information Leakage Analysis. Trans. Comput. Sci. 31: 98-135 (2018) - [c37]Pietro Ferrara, Luca Olivieri, Fausto Spoto:
Tailoring Taint Analysis to GDPR. APF 2018: 63-76 - [c36]Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto:
Vulnerability analysis of Android auto infotainment apps. CF 2018: 183-190 - [c35]Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
CIL to Java-bytecode translation for static analysis leveraging. FormaliSE@ICSE 2018: 40-49 - [c34]Pietro Ferrara, Fausto Spoto:
Static Analysis for GDPR Compliance. ITASEC 2018 - [c33]Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto:
Static Analysis of Android Apps Interaction with Automotive CAN. SmartCom 2018: 114-123 - [c32]Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi:
SDLI: Static Detection of Leaks Across Intents. TrustCom/BigDataSE 2018: 1002-1007 - 2017
- [c31]Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia:
Visual Configuration of Mobile Privacy Policies. FASE 2017: 338-355 - [c30]Pietro Ferrara, Elisa Burato, Fausto Spoto:
Security Analysis of the OWASP Benchmark with Julia. ITASEC 2017: 242-247 - [c29]David Piorkowski, Sean Penney, Austin Z. Henley, Marco Pistoia, Margaret M. Burnett, Omer Tripp, Pietro Ferrara:
Foraging goes mobile: Foraging while debugging on mobile devices. VL/HCC 2017: 9-17 - [c28]Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen:
Using Abstract Interpretation to Correct Synchronization Faults. VMCAI 2017: 187-208 - 2016
- [j4]Pietro Ferrara:
A generic framework for heap and value analyses of object-oriented programming languages. Theor. Comput. Sci. 631: 43-72 (2016) - [c27]Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara:
FASE: functionality-aware security enforcement. ACSAC 2016: 471-483 - [c26]Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin:
Pinpointing mobile malware using code analysis. MOBILESoft 2016: 275-276 - [c25]Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo:
DAPA: Degradation-Aware Privacy Analysis of Android Apps. STM 2016: 32-46 - 2015
- [j3]Agostino Cortesi, Giulia Costantini, Pietro Ferrara:
The abstract domain of Trapezoid Step Functions. Comput. Lang. Syst. Struct. 43: 41-68 (2015) - [j2]Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
A suite of abstract domains for static analysis of string values. Softw. Pract. Exp. 45(2): 245-287 (2015) - [c24]Pietro Ferrara, Omer Tripp, Marco Pistoia:
MorphDroid: Fine-grained Privacy Verification. ACSAC 2015: 371-380 - [c23]Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp:
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis. CISIM 2015: 3-23 - [c22]Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze:
Automatic detection, correction, and visualization of security vulnerabilities in mobile apps. MobileDeLi 2015: 35-36 - [c21]Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia:
ShamDroid: gracefully degrading functionality in the presence of limited resource access. OOPSLA 2015: 316-331 - [c20]Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp:
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. VMCAI 2015: 61-79 - [c19]Pietro Ferrara, Peter Müller, Milos Novácek:
Automatic Inference of Heap Properties Exploiting Value Domains. VMCAI 2015: 393-411 - 2014
- [c18]Pietro Ferrara, Daniel Schweizer, Lucas Brutschy:
TouchCost: Cost Analysis of TouchDevelop Scripts. FASE 2014: 109-124 - [c17]Omer Tripp, Pietro Ferrara, Marco Pistoia:
Hybrid security analysis of web JavaScript code via dynamic partial evaluation. ISSTA 2014: 49-59 - [c16]Lucas Brutschy, Pietro Ferrara, Peter Müller:
TouchGuru: Integrating Static Analysis with a Mobile Development Environment. MobileDeLi 2014: 33-34 - [c15]Lucas Brutschy, Pietro Ferrara, Peter Müller:
Static analysis for independent app developers. OOPSLA 2014: 847-860 - [c14]Pietro Ferrara:
Generic Combination of Heap and Value Analyses in Abstract Interpretation. VMCAI 2014: 302-321 - 2013
- [j1]Pietro Ferrara:
A generic static analyzer for multithreaded Java programs. Softw. Pract. Exp. 43(6): 663-684 (2013) - [c13]Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi:
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. ICFEM 2013: 447-463 - [c12]Agostino Cortesi, Pietro Ferrara, Nabendu Chaki:
Static analysis techniques for robotics software verification. ISR 2013: 1-6 - [c11]Agostino Cortesi, Giulia Costantini, Pietro Ferrara:
A Survey on Product Operators in Abstract Interpretation. Festschrift for Dave Schmidt 2013: 325-336 - 2012
- [c10]Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
Linear Approximation of Continuous Systems with Trapezoid Step Functions. APLAS 2012: 98-114 - [c9]Matteo Zanioli, Pietro Ferrara, Agostino Cortesi:
SAILS: static analysis of information leakage with sample. SAC 2012: 1308-1313 - [c8]Pietro Ferrara, Raphael Fuchs, Uri Juhasz:
TVAL+ : TVLA and Value Analyses Together. SEFM 2012: 63-77 - [c7]Pietro Ferrara, Peter Müller:
Automatic Inference of Access Permissions. VMCAI 2012: 202-218 - 2011
- [c6]Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
Static Analysis of String Values. ICFEM 2011: 505-521 - 2010
- [c5]Pietro Ferrara:
Static Type Analysis of Pattern Matching by Abstract Interpretation. FMOODS/FORTE 2010: 186-200
2000 – 2009
- 2009
- [b1]Pietro Ferrara:
Static analysis via abstract interpretation of multithreaded programs. (Analyse statique de logiciels MultitâCHES par InterpréTation abstraite). École Polytechnique, Palaiseau, France, 2009 - [c4]Pietro Ferrara:
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs. SEFM 2009: 169-178 - 2008
- [c3]Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich:
Safer unsafe code for .NET. OOPSLA 2008: 329-346 - [c2]Pietro Ferrara:
Static Analysis of the Determinism of Multithreaded Programs. SEFM 2008: 41-50 - [c1]Pietro Ferrara:
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. TAP 2008: 116-133
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
