CARBONE, ROBERTO
CARBONE, ROBERTO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols
In corso di stampa Pernpruner, Marco; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio
Android Permissions Unleashed
2015-01-01 Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio
Attribute Based Access Control for APIs in Spring Security
2014-01-01 Armando, Alessandro; Carbone, Roberto; Chekole, E. G.; Ranise, S.
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-Based Approach
2011-01-01 Armando, Alessandro; Carbone, Roberto; S., Ranise
Automated assistance to the security assessment of API for financial services
2021-01-01 Bisegna, Andrea; Carbone, Roberto; Ceccato, Mariano; Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada; Tomasi, Alessandro; Viglianisi, Emanuele
Automatic Security Analysis of SAML-Based Single Sign-On Protocols
2012-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca; G., Pellegrino
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols
2013-01-01 Armando, Alessandro; Carbone, Roberto; L., Zanetti
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap
2012-01-01 Armando, Alessandro; G., Pellegrino; Carbone, Roberto; Merlo, Alessio; D., Balzarotti
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure?
2011-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca; J., Cuéllar; G., Pellegrino; A., Sorniotti
LTL Model Checking for Security Protocols
2009-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
LTL Model Checking for Security Protocols
2007-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.
SATMC: a SAT-based Model Checker for Security-critical Systems
2014-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution
2016-01-01 Ranise, Silvio; Carbone, Roberto; Armando, Alessandro; Sciarretta, Giada
Selective Release of Smart Metering Data in Multi-domain Smart Grids
2014-01-01 Armando, Alessandro; Carbone, Roberto; Chekole, E. G.; Petrazzuolo, C.; Ranalli, A.; Ranise, S.
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
2012-01-01 Armando, Alessandro; W., Arsac; T., Avanesov; M., Barletta; A., Calvi; A., Cappai; Carbone, Roberto; Y., Chevalier; Compagna, Luca; J., Cuéllar; G., Erzse; S., Frau; M., Minea; S., Mödersheim; D., von Oheimb; G., Pellegrino; S. E., Ponta; M., Rocchetto; M., Rusinowitch; M., Torabi Dashti; M., Turuani; L., Viganò
The Good, the Bad and the (Not So) Ugly of Out-of-Band Authentication with eID Cards and Push Notifications: Design, Formal and Risk Analysis
2020-01-01 Pernpruner, Marco; Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada
| 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 | In corso di stampa | Pernpruner, Marco; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio | |
| Android Permissions Unleashed | 1-gen-2015 | Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio | |
| Attribute Based Access Control for APIs in Spring Security | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Chekole, E. G.; Ranise, S. | |
| Automated Analysis of Semantic-Aware Access Control Policies: a Logic-Based Approach | 1-gen-2011 | Armando, Alessandro; Carbone, Roberto; S., Ranise | |
| Automated assistance to the security assessment of API for financial services | 1-gen-2021 | Bisegna, Andrea; Carbone, Roberto; Ceccato, Mariano; Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada; Tomasi, Alessandro; Viglianisi, Emanuele | |
| Automatic Security Analysis of SAML-Based Single Sign-On Protocols | 1-gen-2012 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca; G., Pellegrino | |
| Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols | 1-gen-2013 | Armando, Alessandro; Carbone, Roberto; L., Zanetti | |
| From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap | 1-gen-2012 | Armando, Alessandro; G., Pellegrino; Carbone, Roberto; Merlo, Alessio; D., Balzarotti | |
| From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure? | 1-gen-2011 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca; J., Cuéllar; G., Pellegrino; A., Sorniotti | |
| LTL Model Checking for Security Protocols | 1-gen-2009 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
| LTL Model Checking for Security Protocols | 1-gen-2007 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
| Pulmonary nodular amyloidosis in sjögren syndrome | 1-gen-2015 | Carbone, R.; Cosso, C.; Cimmino, M. A. | |
| SATMC: a SAT-based Model Checker for Security-critical Systems | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Compagna, Luca | |
| Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution | 1-gen-2016 | Ranise, Silvio; Carbone, Roberto; Armando, Alessandro; Sciarretta, Giada | |
| Selective Release of Smart Metering Data in Multi-domain Smart Grids | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Chekole, E. G.; Petrazzuolo, C.; Ranalli, A.; Ranise, S. | |
| The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures | 1-gen-2012 | Armando, Alessandro; W., Arsac; T., Avanesov; M., Barletta; A., Calvi; A., Cappai; Carbone, Roberto; Y., Chevalier; Compagna, Luca; J., Cuéllar; G., Erzse; S., Frau; M., Minea; S., Mödersheim; D., von Oheimb; G., Pellegrino; S. E., Ponta; M., Rocchetto; M., Rusinowitch; M., Torabi Dashti; M., Turuani; L., Viganò | |
| The Good, the Bad and the (Not So) Ugly of Out-of-Band Authentication with eID Cards and Push Notifications: Design, Formal and Risk Analysis | 1-gen-2020 | Pernpruner, Marco; Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada |