Luca Compagna

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]
2	David A. Basin	[3] [10]
3	Yohan Boichut	[10]
4	Mehdi Bouallagui	[3]
5	Roberto Carbone	[12]
6	Yannick Chevalier	[3] [10]
7	Jorge Cuéllar	[10]
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	Jacopo Mantovani	[10]
15	Fabio Massacci	[11]
16	Sebastian Mödersheim	[3] [10]
17	David von Oheimb	[10]
18	Silvio Ranise	[1] [9]
19	Michaël Rusinowitch	[3] [10]
20	Judson Santiago	[10]
21	Reshma Thomas	[11]
22	Mathieu Turuani	[3] [10]
23	Luca Viganò	[3] [10]
24	Laurent Vigneron	[3] [10]
25	Nicola Zannone	[11]

Colors in the list of coauthors