CARBONE, ROBERTO

CARBONE, ROBERTO  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
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
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-2007 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
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