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