Cortesi, Agostino
Cortesi, Agostino
CIL to Java-bytecode translation for static analysis leveraging
2018-01-01 Ferrara, Pietro; Cortesi, Agostino; 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
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
SDLI: Static Detection of Leaks Across Intents
2018-01-01 Salvia, Rocco; Ferrara, Pietro; Spoto, Nicola Fausto; Cortesi, Agostino
Static Analysis of Android Apps Interaction with Automotive CAN
2018-01-01 Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Kr Mandal, Amit; Spoto, Nicola Fausto
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
Vulnerability analysis of Android auto infotainment apps
2018-01-01 Kr Mandal, Amit; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Nicola Fausto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| 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 | |
| Vulnerability analysis of Android auto infotainment apps | 1-gen-2018 | Kr Mandal, Amit; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Nicola Fausto |