Luca Compagna

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