CARBONE, ROBERTO
CARBONE, ROBERTO
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.007 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
LTL Model Checking for Security Protocols
2009-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
Pulmonary nodular amyloidosis in sjögren syndrome
2015-01-01 Carbone, R.; Cosso, C.; Cimmino, M. A.
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 | |
LTL Model Checking for Security Protocols | 1-gen-2009 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
Pulmonary nodular amyloidosis in sjögren syndrome | 1-gen-2015 | Carbone, R.; Cosso, C.; Cimmino, M. A. |