Simone Frau

	2012
4		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
3		Simone Frau, Mohammad Torabi Dashti: Integrated Specification and Verification of Security Protocols and Policies. CSF 2011: 18-32
	2008
2		Simone Frau, Roberto Gorrieri, Carlo Ferigato: Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust 2008: 210-225
	2005
1		Simone Frau, Jonathan C. Roberts, Nadia Boukhelifa: Dynamic Coordinated Email Visualization. WSCG (Full Papers) 2005: 187-193

Coauthor Index

1	Alessandro Armando	[4]
2	Wihem Arsac	[4]
3	Tigran Avanesov	[4]
4	Michele Barletta	[4]
5	Nadia Boukhelifa	[1]
6	Alberto Calvi	[4]
7	Alessandro Cappai	[4]
8	Roberto Carbone	[4]
9	Yannick Chevalier	[4]
10	Luca Compagna	[4]
11	Jorge Cuéllar (Jorge Ricardo Cuellar)	[4]
12	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[3] [4]
13	Gabriel Erzse	[4]
14	Carlo Ferigato	[2]
15	Roberto Gorrieri	[2]
16	Marius Minea	[4]
17	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[4]
18	David von Oheimb	[4]
19	Giancarlo Pellegrino	[4]
20	Serena Elisa Ponta	[4]
21	Jonathan C. Roberts	[1]
22	Marco Rocchetto	[4]
23	Michaël Rusinowitch	[4]
24	Mathieu Turuani	[4]
25	Luca Viganò	[4]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page