Sfoglia per Autore
CIL to Java-bytecode translation for static analysis leveraging
2018-01-01 Ferrara, Pietro; Cortesi, Agostino; 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
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
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
Intents Analysis of Android Apps for Confidentiality Leakage Detection
2020-01-01 Salvia, Rocco; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto
A Java Framework for Smart Contracts
2020-01-01 Spoto, Nicola Fausto
Cross-Program Taint Analysis for IoT Systems
2020-01-01 Mandal, A; Ferrara, P; Khlyebnikov, Y; Cortesi, A; Spoto, F
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging
2020-01-01 Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto
Enforcing Determinism of Java Smart Contracts
2020-01-01 Spoto, Fausto
On-Chain Smart Contract Verification over Tendermint
2021-01-01 Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine
2021-01-01 Crosara, Marco; Olivieri, Luca; Spoto, Nicola Fausto; Tagliaferro, Fabio
Static Privacy Analysis by Flow Reconstruction of Tainted Data
2021-01-01 Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola Fausto
Cybersecurity Impacts of the Covid-19 Pandemic in Italy
2021-01-01 Bozzetti, Marco; Olivieri, Luca; Spoto, Nicola Fausto
Power and Pitfalls of Generic Smart Contracts
2021-01-01 Benini, Andrea; Gambini, Mauro; Migliorini, Sara; Spoto, Nicola Fausto
Static analysis for discovering IoT vulnerabilities
2021-01-01 Ferrara, Pietro; Mandal, Amit Kr; Cortesi, Agostino; Spoto, Fausto
Analysing omics data sets with weighted nodes networks (WNNets)
2021-01-01 Tosadori, G.; Di Silvestre, D.; Spoto, F.; Mauri, P.; Laudanna, C.; Scardoni, G.
| 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 | |
| Vulnerability analysis of Android auto infotainment apps | 1-gen-2018 | Kr Mandal, Amit; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; 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 | |
| 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 | |
| Intents Analysis of Android Apps for Confidentiality Leakage Detection | 1-gen-2020 | Salvia, Rocco; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto | |
| A Java Framework for Smart Contracts | 1-gen-2020 | Spoto, Nicola Fausto | |
| Cross-Program Taint Analysis for IoT Systems | 1-gen-2020 | Mandal, A; Ferrara, P; Khlyebnikov, Y; Cortesi, A; Spoto, F | |
| From CIL to Java bytecode: Semantics-based translation for static analysis leveraging | 1-gen-2020 | Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto | |
| Enforcing Determinism of Java Smart Contracts | 1-gen-2020 | Spoto, Fausto | |
| On-Chain Smart Contract Verification over Tendermint | 1-gen-2021 | Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio | |
| Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine | 1-gen-2021 | Crosara, Marco; Olivieri, Luca; Spoto, Nicola Fausto; Tagliaferro, Fabio | |
| Static Privacy Analysis by Flow Reconstruction of Tainted Data | 1-gen-2021 | Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola Fausto | |
| Cybersecurity Impacts of the Covid-19 Pandemic in Italy | 1-gen-2021 | Bozzetti, Marco; Olivieri, Luca; Spoto, Nicola Fausto | |
| Power and Pitfalls of Generic Smart Contracts | 1-gen-2021 | Benini, Andrea; Gambini, Mauro; Migliorini, Sara; Spoto, Nicola Fausto | |
| Static analysis for discovering IoT vulnerabilities | 1-gen-2021 | Ferrara, Pietro; Mandal, Amit Kr; Cortesi, Agostino; Spoto, Fausto | |
| Analysing omics data sets with weighted nodes networks (WNNets) | 1-gen-2021 | Tosadori, G.; Di Silvestre, D.; Spoto, F.; Mauri, P.; Laudanna, C.; Scardoni, G. |
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