RANISE, SILVIO
RANISE, SILVIO
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.019 secondi).
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols
2024-01-01 Pernpruner, Marco; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio
Empirical Validation on the Usability of Security Reports for Patching TLS Misconfigurations: User- and Case-Studies on Actionable Mitigations
2022-01-01 Manfredi, Salvatore; Ceccato, Mariano; Sciarretta, Giada; Ranise, Silvio
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
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 |
|---|---|---|---|
| An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols | 1-gen-2024 | Pernpruner, Marco; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio | |
| Empirical Validation on the Usability of Security Reports for Patching TLS Misconfigurations: User- and Case-Studies on Actionable Mitigations | 1-gen-2022 | Manfredi, Salvatore; Ceccato, Mariano; Sciarretta, Giada; Ranise, Silvio | |
| 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 | |
| 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 |