Ferrara, Pietro

Ferrara, Pietro  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.015 secondi).
Titolo Data di pubblicazione Autore(i) File
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 1-gen-2020 Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
CIL to Java-bytecode translation for static analysis leveraging 1-gen-2018 Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto
Cross-Programming Language Taint Analysis for the IoT Ecosystem 1-gen-2019 Ferrara, Pietro; Kr Mandal, Amit; Cortesi, Agostino; Spoto, Nicola Fausto
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 1-gen-2022 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
Information Flow Analysis for Detecting Non-Determinism in Blockchain 1-gen-2023 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
SDLI: Static Detection of Leaks Across Intents 1-gen-2018 Salvia, Rocco; Ferrara, Pietro; Spoto, Nicola Fausto; Cortesi, Agostino
Security Analysis of the OWASP Benchmark with Julia 1-gen-2017 Ferrara, Pietro; Burato, Elisa; Spoto, Nicola Fausto
Static Analysis for GDPR Compliance 1-gen-2018 Ferrara, Pietro; Spoto, Nicola Fausto
Static Analysis of Android Apps Interaction with Automotive CAN 1-gen-2018 Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Kr Mandal, Amit; Spoto, Nicola Fausto
Static analysis of Android Auto infotainment and on-board diagnostics II apps 1-gen-2019 Amit Kr Mandal, ; Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Spoto, Nicola Fausto
Static Identification of Injection Attacks in Java 1-gen-2019 Spoto, Nicola Fausto; Burato, Elisa; Ernst, Michael D.; Ferrara, Pietro; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian
Tailoring Taint Analysis to GDPR 1-gen-2018 Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola Fausto
Vulnerability analysis of Android auto infotainment apps 1-gen-2018 Kr Mandal, Amit; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Nicola Fausto