Roberto Carbone

	2012
10		Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282
	2011
9		Roberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò: Towards Formal Validation of Trust and Security in the Internet of Services. Future Internet Assembly 2011: 193-208
8		Alessandro Armando, Roberto Carbone, Silvio Ranise: Automated Analysis of Semantic-Aware Access Control Policies: A Logic-Based Approach. ICSC 2011: 356-363
7		Gabriela Gheorghe, Bruno Crispo, Roberto Carbone, Lieven Desmet, Wouter Joosen: Deploy, Adjust and Readjust: Supporting Dynamic Reconfiguration of Policy Enforcement. Middleware 2011: 350-369
6		Roberto Carbone: LTL model-checking for security protocols. AI Commun. 24(3): 281-283 (2011)
	2010
5		Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino: Model-Checking Driven Security Testing of Web-Based Applications. ICST Workshops 2010: 361-370
	2009
4		Carsten Rudolph, Luca Compagna, Roberto Carbone, Antonio Muñoz, Jürgen Repp: Verification of S&D Solutions for Network Communications and Devices. Security and Dependability for Ambient Intelligence 2009: 143-163
3		Alessandro Armando, Roberto Carbone, Luca Compagna: LTL model checking for security protocols. Journal of Applied Non-Classical Logics 19(4): 403-429 (2009)
	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] [3] [5] [8] [10]
2	Wihem Arsac	[10]
3	Tigran Avanesov	[10]
4	Michele Barletta	[10]
5	Alberto Calvi	[10]
6	Alessandro Cappai	[10]
7	Yannick Chevalier	[10]
8	Luca Compagna	[1] [2] [3] [4] [5] [10]
9	Bruno Crispo	[7]
10	Jorge Cuéllar (Jorge Ricardo Cuellar)	[2] [10]
11	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[10]
12	Lieven Desmet	[7]
13	Gabriel Erzse	[10]
14	Simone Frau	[10]
15	Gabriela Gheorghe	[7]
16	Wouter Joosen	[7]
17	Keqin Li	[5]
18	Marius Minea	[9] [10]
19	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[9] [10]
20	Antonio Muñoz	[4]
21	David von Oheimb	[10]
22	Giancarlo Pellegrino	[5] [10]
23	Serena Elisa Ponta	[9] [10]
24	Silvio Ranise	[8]
25	Jürgen Repp	[4]
26	Marco Rocchetto	[10]
27	Carsten Rudolph	[4]
28	Michaël Rusinowitch	[10]
29	M. Llanos Tobarra	[2]
30	Mathieu Turuani	[9] [10]
31	Luca Viganò	[9] [10]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page