Sfoglia per Autore
Visual configuration of mobile privacy policies
2017-01-01 Aydin, A; Piorkowski, D; Tripp, O; Ferrara, P; Pistoia, M
Using abstract interpretation to correct synchronization faults
2017-01-01 Ferrara, P; Tripp, O; Liu, P; Koskinen, E
Foraging goes mobile: Foraging while debugging on mobile devices
2017-01-01 Piorkowski, D; Penney, S; Henley, A. Z.; Pistoia, M; Burnett, M; Tripp, O; Ferrara, P
Security Analysis of the OWASP Benchmark with Julia
2017-01-01 Ferrara, Pietro; Burato, Elisa; Spoto, Nicola Fausto
SDLI: Static Detection of Leaks Across Intents
2018-01-01 Salvia, Rocco; Ferrara, Pietro; Fausto, Spoto; Cortesi, Agostino
Vulnerability analysis of android auto infotainment apps
2018-01-01 Mandal, AMIT KR; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Fausto
Static Analysis for GDPR Compliance
2018-01-01 Ferrara, Pietro; Spoto, Fausto
Tailoring Taint Analysis to GDPR
2018-01-01 Ferrara, Pietro; Luca, Olivieri; Fausto, Spoto
Static analysis of android apps interaction with automotive CAN
2018-01-01 Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Mandal, Amit Kr; Spoto, Fausto
Combining symbolic and numerical domains for information leakage analysis
2018-01-01 Cortesi, Agostino; Ferrara, Pietro; Halder, Raju; Zanioli, Matteo
CIL to Java-bytecode translation for static analysis leveraging
2018-01-01 Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Static analysis of Android Auto infotainment and on‐board diagnostics II apps
2019-01-01 Mandal, Amit Kr; Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto
Static Identification of Injection Attacks in Java
2019-01-01 Spoto, Fausto; Burato, Elisa; Ernst, Michael D.; Ferrara, Pietro; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian
Cross-Programming Language Taint Analysis for the IoT Ecosystem
2019-01-01 Ferrara, Pietro; Mandal, AMIT KR; Cortesi, Agostino; Spoto, Fausto
SARL: OO Framework Specification for Static Analysis
2020-01-01 Ferrara, P.; Negrini, L.
Certifying decision trees against evasion attacks by program analysis
2020-01-01 Calzavara, S.; Ferrara, P.; Lucchese, C.
Intents Analysis of Android Apps for Confidentiality Leakage Detection
2020-01-01 Salvia, R.; Cortesi, A.; Ferrara, P.; Spoto, F.
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results
2020-01-01 Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging
2020-01-01 Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Cross-Program Taint Analysis for IoT Systems
2020-01-01 Mandal, AMIT KR; Ferrara, Pietro; Khlyebnikov, Yuliy; Cortesi, Agostino; Spoto, Fausto
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile