Roberto Carbone

Roberto Carbone

Fondazione Bruno Kessler - Trentino / Italy
Others
AD Scientific Index ID: 4455144
-
person_outline Roberto Carbone's MOST POPULAR ARTICLES
1-) Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google appsA Armando, R Carbone, L Compagna, J Cuellar, L TobarraProceedings of the 6th ACM workshop on Formal methods in security …, 20083702008
2-) The AVANTSSAR platform for the automated validation of trust and security of service-oriented architecturesA Armando, W Arsac, T Avanesov, M Barletta, A Calvi, A Cappai, ...International Conference on Tools and Algorithms for the Construction and …, 20121322012
3-) LTL Model Checking for Security ProtocolsA Armando, R Carbone, L Compagna20th IEEE Computer Security Foundations Symposium (CSF\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'07), pp. 385-396, 20071302007
4-) An authentication flaw in browser-based single sign-on protocols: Impact and remediationsA Armando, R Carbone, L Compagna, J Cuéllar, G Pellegrino, A SorniottiComputers & Security 33, 41-58, 2013992013
5-) A survey on multi-factor authentication for online banking in the wildF Sinigaglia, R Carbone, G Costa, N ZannoneComputers & Security 95, 101745, 2020812020