Concepedia

Pietro Ferrara

PF

17

Publications

521

Citations

14

H-Index

2008

Active since

Affiliations

Ca' Foscari University of Venice(Current)

University of Verona

IBM Research - Thomas J. Watson Research Center

Pietro Ferrara is an author at Ca' Foscari University of Venice specializing in software analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSoftware AnalysisProgram AnalysisFormal VerificationSoftware EngineeringFormal MethodsStatic AnalysisSoftware TestingInformation Security

Publications per year

2008–2022

17

Publications

17

Static analysis for discovering IoT vulnerabilities

Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi et al. · International Journal on Software Tools for Technology Transfer · 2020 · 80 citations · Full text

A suite of abstract domains for static analysis of string values

Giulia Costantini, Pietro Ferrara, Agostino Cortesi · Software Practice and Experience · 2013 · 48 citations

String Values, Engineering, Verification +21

Hybrid security analysis of web JavaScript code via dynamic partial evaluation

Omer Tripp, Pietro Ferrara, Marco Pistoia · 2014 · 41 citations

Engineering, Web Javascript Code, Information Security +19

Safer unsafe code for .NET

Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich · 2008 · 40 citations

Engineering, Information Security, Compiler Technology +23

Static Analysis for GDPR Compliance

Pietro Ferrara, Fausto Spoto · ARCA (Università Ca' Foscari Venezia) · 2018 · 37 citations

Rows per page

1–5 of 17