CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 8 di 8
Titolo Data di pubblicazione Autore(i) File
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
SDLI: Static Detection of Leaks Across Intents 1-gen-2018 Salvia, Rocco; Ferrara, Pietro; Spoto, Nicola Fausto; Cortesi, Agostino
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
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
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
Mostrati risultati da 1 a 8 di 8
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