Roberto Carbone

	2008
2		Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, M. Llanos Tobarra: Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. FMSE 2008: 1-10
	2007
1		Alessandro Armando, Roberto Carbone, Luca Compagna: LTL Model Checking for Security Protocols. CSF 2007: 385-396

Coauthor Index

1	Alessandro Armando	[1] [2]
2	Luca Compagna	[1] [2]
3	Jorge Cuéllar	[2]
4	M. Llanos Tobarra	[2]