Segui
Roberto Carbone
Roberto Carbone
Security and Trust - Fondazione Bruno Kessler, Trento, Italy
Email verificata su fbk.eu
Titolo
Citata da
Citata da
Anno
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
3942008
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, ...
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
1412012
LTL Model Checking for Security Protocols
A Armando, R Carbone, L Compagna
20th IEEE Computer Security Foundations Symposium (CSF'07), pp. 385-396, 2007
1292007
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
962013
A survey on multi-factor authentication for online banking in the wild
F Sinigaglia, R Carbone, G Costa, N Zannone
Computers & Security 95, 101745, 2020
722020
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
582017
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications.
A Sudhodanan, A Armando, R Carbone, L Compagna
NDSS, 2016
542016
SATMC: a SAT-based Model Checker for Security-critical Systems
A Armando, R Carbone, L Compagna
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
542014
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
452011
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
402010
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
392012
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, 187-204, 2016
272016
Android permissions unleashed
A Armando, R Carbone, G Costa, A Merlo
2015 IEEE 28th Computer Security Foundations Symposium, 320-333, 2015
242015
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
212014
The eIDAS regulation: a survey of technological trends for European electronic identity schemes
A Sharif, M Ranzi, R Carbone, G Sciarretta, FA Marino, S Ranise
Applied Sciences 12 (24), 12679, 2022
162022
Design, formal specification and analysis of multi-factor authentication solutions with a single sign-on experience
G Sciarretta, R Carbone, S Ranise, L Viganò
International Conference on Principles of Security and Trust, 188-213, 2018
162018
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
152017
LTL model-checking for security protocols
R Carbone
AI communications 24 (3), 281-283, 2011
142011
Exploring architectures for cryptographic access control enforcement in the cloud for fun and optimization
S Berlato, R Carbone, AJ Lee, S Ranise
Proceedings of the 15th ACM Asia Conference on Computer and Communications …, 2020
132020
Dynamic analysis security testing of multi-party web applications via attack patterns
L Compagna, A Sudhodanan, R Carbone, A Armando
US Patent 9,715,592, 2017
132017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20