Luca Compagna Vis

*	2009
17	EE	Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna: Validating Security Protocols under the General Attacker. ARSPA-WITS 2009: 34-51
16	EE	Luca Compagna, Paul El Khoury, Alzbeta Krausová, Fabio Massacci, Nicola Zannone: How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns. Artif. Intell. Law 17(1): 1-30 (2009)
	2008
15	EE	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
14	EE	Luca Compagna, Volkmar Lotz, Fabio Massacci: Preface. Electr. Notes Theor. Comput. Sci. 197(2): 1-2 (2008)
13	EE	Alessandro Armando, Luca Compagna: SAT-based model-checking for security protocols analysis. Int. J. Inf. Sec. 7(1): 3-32 (2008)
	2007
12	EE	Alessandro Armando, Roberto Carbone, Luca Compagna: LTL Model Checking for Security Protocols. CSF 2007: 385-396
11	EE	Luca Compagna, Paul El Khoury, Fabio Massacci, Reshma Thomas, Nicola Zannone: How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach. ICAIL 2007: 149-153
	2005
10	EE	Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 2005: 281-285
9	EE	Alessandro Armando, Luca Compagna, Silvio Ranise: Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Mechanizing Mathematical Reasoning 2005: 30-45
8	EE	Alessandro Armando, Luca Compagna: An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols. Electr. Notes Theor. Comput. Sci. 125(1): 91-108 (2005)
	2004
7	EE	Alessandro Armando, Luca Compagna, Yuliya Lierler: Automatic Compilation of Protocol Insecurity Problems into Logic Programming. JELIA 2004: 617-627
6	EE	Alessandro Armando, Luca Compagna: SATMC: A SAT-Based Model Checker for Security Protocols. JELIA 2004: 730-733
	2003
5	EE	Alessandro Armando, Luca Compagna, Pierre Ganty: SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. FME 2003: 875-893
4	EE	Alessandro Armando, Luca Compagna: Abstraction-Driven SAT-based Analysis of Security Protocols. SAT 2003: 257-271
	2002
3	EE	Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISS Security Protocol Analysis Tool. CAV 2002: 349-353
2	EE	Alessandro Armando, Luca Compagna: Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. FORTE 2002: 210-225
	2001
1	EE	Alessandro Armando, Luca Compagna, Silvio Ranise: System Description: RDL : Rewrite and Decision Procedure Laboratory. IJCAR 2001: 663-669

Coauthor Index

1	Alessandro Armando	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [15]
2	Wihem Arsac	[17]
3	David A. Basin	[3] [10]
4	Giampaolo Bella	[17]
5	Yohan Boichut	[10]
6	Mehdi Bouallagui	[3]
7	Roberto Carbone	[12] [15]
8	Xavier Chantry	[17]
9	Yannick Chevalier	[3] [10]
10	Jorge Cuéllar	[10] [15]
11	Paul Hankes Drielsma	[10]
12	Pierre Ganty	[5]
13	Pierre-Cyrille Héam	[10]
14	Paul El Khoury	[11] [16]
15	Olga Kouchnarenko	[10]
16	Alzbeta Krausová	[16]
17	Yuliya Lierler (Yuliya Babovich-Lierler, Yuliya Babovich)	[7]
18	Volkmar Lotz	[14]
19	Jacopo Mantovani	[10]
20	Fabio Massacci	[11] [14] [16]
21	Sebastian Mödersheim	[3] [10]
22	David von Oheimb	[10]
23	Silvio Ranise	[1] [9]
24	Michaël Rusinowitch	[3] [10]
25	Judson Santiago	[10]
26	Reshma Thomas	[11]
27	M. Llanos Tobarra	[15]
28	Mathieu Turuani	[3] [10]
29	Luca Viganò	[3] [10]
30	Laurent Vigneron	[3] [10]
31	Nicola Zannone	[11] [16]