Roberto Carbone
Roberto Carbone
Security and Trust - Fondazione Bruno Kessler, Trento, Italy
Verified email at fbk.eu
TitleCited byYear
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps
A Armando, R Carbone, L Compagna, J Cuellar, L Tobarra
Proceedings of the 6th ACM workshop on Formal methods in securityá…, 2008
3012008
LTL model checking for security protocols
A Armando, R Carbone, L Compagna
Journal of Applied Non-Classical Logics 19 (4), 403-429, 2009
1172009
LTL Model Checking for Security Protocols
A Armando, R Carbone, L Compagna
20th IEEE Computer Security Foundations Symposium (CSF'07), pp. 385-396, 2007
1172007
The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures
A Armando, W Arsac, T Avanesov, M Barletta, A Calvi, A Cappai, ...
International Conference on Tools and Algorithms for the Construction andá…, 2012
1072012
An authentication flaw in browser-based single sign-on protocols: Impact and remediations
A Armando, R Carbone, L Compagna, J CuÚllar, G Pellegrino, A Sorniotti
Computers & Security 33, 41-58, 2013
692013
SATMC: a SAT-based Model Checker for Security-critical Systems
A Armando, R Carbone, L Compagna
International Conference on Tools and Algorithms for the Construction andá…, 2014
362014
Model-checking driven security testing of web-based applications
A Armando, R Carbone, L Compagna, K Li, G Pellegrino
2010 Third International Conference on Software Testing, Verification, andá…, 2010
352010
From multiple credentials to browser-based single sign-on: Are we more secure?
A Armando, R Carbone, L Compagna, J Cuellar, G Pellegrino, A Sorniotti
IFIP International Information Security Conference, 68-79, 2011
332011
From model-checking to automated testing of security protocols: Bridging the gap
A Armando, G Pellegrino, R Carbone, A Merlo, D Balzarotti
International Conference on Tests and Proofs, 3-18, 2012
292012
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications.
A Sudhodanan, A Armando, R Carbone, L Compagna
NDSS, 2016
182016
Android permissions unleashed
A Armando, R Carbone, G Costa, A Merlo
2015 IEEE 28th Computer Security Foundations Symposium, 320-333, 2015
142015
LTL model-checking for security protocols
R Carbone
AI communications 24 (3), 281-283, 2011
142011
Deploy, adjust and readjust: Supporting dynamic reconfiguration of policy enforcement
G Gheorghe, B Crispo, R Carbone, L Desmet, W Joosen
ACM/IFIP/USENIX International Conference on Distributed Systems Platformsá…, 2011
122011
Large-scale analysis & detection of authentication cross-site request forgeries
A Sudhodanan, R Carbone, L Compagna, N Dolgin, A Armando, ...
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 350-365, 2017
102017
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs
A Armando, R Carbone, L Compagna
International Journal on Software Tools for Technology Transfer 18 (2), 187-204, 2016
102016
Formal modeling and automatic security analysis of two-factor and two-channel authentication protocols
A Armando, R Carbone, L Zanetti
International Conference on Network and System Security, 728-734, 2013
82013
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements
G Sciarretta, R Carbone, S Ranise, A Armando
Computers & Security 71, 71-86, 2017
62017
Towards formal validation of trust and security in the internet of services
R Carbone, M Minea, SA M÷dersheim, SE Ponta, M Turuani, L Vigan˛
The Future Internet Assembly, 193-207, 2011
62011
Attribute based access control for APIs in spring security
A Armando, R Carbone, EG Chekole, S Ranise
Proceedings of the 19th ACM symposium on Access control models andá…, 2014
52014
Automatic security analysis of SAML-based single sign-on protocols
A Armando, R Carbone, L Compagna, G Pellegrino
Digital Identity and Access Management: Technologies and Frameworks, 168-187, 2012
52012
The system can't perform the operation now. Try again later.
Articles 1–20