BERLATO, STEFANO
BERLATO, STEFANO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.004 secondi).
Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud
2022-01-01 Berlato, S; Carbone, R; Lee, Aj; Ranise, S
Mitigating Debugger-based Attacks to Java Applications with Self-debugging
2024-01-01 Pizzolotto, Davide; Berlato, Stefano; Ceccato, Mariano
Safety-Related Cooperative, Connected, and Automated Mobility Services: Interplay Between Functional and Security Requirements
2021-01-01 Centenaro, Marco; Berlato, Stefano; Carbone, Roberto; Burzio, Gianfranco; Cordella, Giuseppe Faranda; Riggio, Roberto; Ranise, Silvio
Smart Card-Based Identity Management Protocols for V2V and V2I Communications in CCAM: A Systematic Literature Review
2022-01-01 Berlato, S; Centenaro, M; Ranise, S
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud | 1-gen-2022 | Berlato, S; Carbone, R; Lee, Aj; Ranise, S | |
Mitigating Debugger-based Attacks to Java Applications with Self-debugging | 1-gen-2024 | Pizzolotto, Davide; Berlato, Stefano; Ceccato, Mariano | |
Safety-Related Cooperative, Connected, and Automated Mobility Services: Interplay Between Functional and Security Requirements | 1-gen-2021 | Centenaro, Marco; Berlato, Stefano; Carbone, Roberto; Burzio, Gianfranco; Cordella, Giuseppe Faranda; Riggio, Roberto; Ranise, Silvio | |
Smart Card-Based Identity Management Protocols for V2V and V2I Communications in CCAM: A Systematic Literature Review | 1-gen-2022 | Berlato, S; Centenaro, M; Ranise, S |