Concepedia
Statistics
Publications
17
Citations
532
H-Index
14
Active since
2008
Affiliations
Ca' Foscari University of Venice(Current)
University of Verona
ETH Zurich
IBM Research - Thomas J. Watson Research Center
SRM University
Pietro Ferrara is an author at Ca' Foscari University of Venice specializing in computer science, computing, and cybersecurity.
Publications per year
2008–2022
Static analysis for discovering IoT vulnerabilities
Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi et al. · International Journal on Software Tools for Technology Transfer · 2020 · 86 citations · Full text
Computing, Computer Science, Cybersecurity +9
A suite of abstract domains for static analysis of string values
Giulia Costantini, Pietro Ferrara, Agostino Cortesi · Software Practice and Experience · 2013 · 48 citations
Computing, Computer Science, Formal Methods +11
Hybrid security analysis of web JavaScript code via dynamic partial evaluation
Omer Tripp, Pietro Ferrara, Marco Pistoia · 2014 · 41 citations
Computing, Computer Science, Cybersecurity +14
Safer unsafe code for .NET
Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich · 2008 · 40 citations
Computing, Computer Engineering, Computer Science +17
Static Analysis for GDPR Compliance
Pietro Ferrara, Fausto Spoto · ARCA (Università Ca' Foscari Venezia) · 2018 · 37 citations
Law, Regulatory Policy, Financial Compliance +9
1–5 of 17