Sfoglia per Rivista
Mostrati risultati da 1 a 5 di 5
Abstract Non-Interference: A unifying framework for weakening information flow
2018-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval
2021-01-01 Arceri, Vincenzo; Mastroeni, Isabella
A Formal Approach to Physics-based Attacks in Cyber-physical Systems
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca
Friendly Fire: Cross-App Interactions in IoT Platforms
2021-01-01 Balliu, Musard; Merro, Massimo; Pasqua, Michele; Shcherbakov, Mikhail
Industrial Control Systems Security via Runtime Enforcement
2023-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Abstract Non-Interference: A unifying framework for weakening information flow | 1-gen-2018 | Giacobazzi, Roberto; Mastroeni, Isabella | |
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval | 1-gen-2021 | Arceri, Vincenzo; Mastroeni, Isabella | |
A Formal Approach to Physics-based Attacks in Cyber-physical Systems | 1-gen-2020 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca | |
Friendly Fire: Cross-App Interactions in IoT Platforms | 1-gen-2021 | Balliu, Musard; Merro, Massimo; Pasqua, Michele; Shcherbakov, Mikhail | |
Industrial Control Systems Security via Runtime Enforcement | 1-gen-2023 | Lanotte, R.; Merro, M.; Munteanu, A. |
Mostrati risultati da 1 a 5 di 5
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