Luca Compagna

	2012
27		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
26		Wihem Arsac, Luca Compagna, Giancarlo Pellegrino, Serena Elisa Ponta: Security Validation of Business Processes via Model-Checking. ESSoS 2011: 29-42
25		Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta: Security validation tool for business processes. SACMAT 2011: 143-144
24		Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna: Multi-Attacker Protocol Validation. J. Autom. Reasoning 46(3-4): 353-388 (2011)
	2010
23		Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino: Model-Checking Driven Security Testing of Web-Based Applications. ICST Workshops 2010: 361-370
22		Luca Compagna, Paul El Khoury, Fabio Massacci, Ayda Saïdane: A Dynamic Security Framework for Ambient Intelligent Systems: A Smart-Home Based eHealth Application. Transactions on Computational Science 10: 1-24 (2010)
	2009
21		Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna: Validating Security Protocols under the General Attacker. ARSPA-WITS 2009: 34-51
20		Luca Compagna, Ulrich Flegel, Volkmar Lotz: Towards Validating Security Protocol Deployment in the Wild. COMPSAC (2) 2009: 434-438
19		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
18		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)
17		Alessandro Armando, Roberto Carbone, Luca Compagna: LTL model checking for security protocols. Journal of Applied Non-Classical Logics 19(4): 403-429 (2009)
	2008
16		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
15		Volkmar Lotz, Luca Compagna, Konrad Wrona: Towards Adaptive Security for Ubiquitous Computing Systems. Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises 2008: 574-584
14		Luca Compagna, Volkmar Lotz, Fabio Massacci: Preface. Electr. Notes Theor. Comput. Sci. 197(2): 1-2 (2008)
13		Alessandro Armando, Luca Compagna: SAT-based model-checking for security protocols analysis. Int. J. Inf. Sec. 7(1): 3-32 (2008)
	2007
12		Alessandro Armando, Roberto Carbone, Luca Compagna: LTL Model Checking for Security Protocols. CSF 2007: 385-396
11		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		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		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		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		Alessandro Armando, Luca Compagna, Yuliya Lierler: Automatic Compilation of Protocol Insecurity Problems into Logic Programming. JELIA 2004: 617-627
6		Alessandro Armando, Luca Compagna: SATMC: A SAT-Based Model Checker for Security Protocols. JELIA 2004: 730-733
	2003
5		Alessandro Armando, Luca Compagna, Pierre Ganty: SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. FME 2003: 875-893
4		Alessandro Armando, Luca Compagna: Abstraction-Driven SAT-based Analysis of Security Protocols. SAT 2003: 257-271
	2002
3		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		Alessandro Armando, Luca Compagna: Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. FORTE 2002: 210-225
	2001
1		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] [16] [17] [23] [27]
2	Wihem Arsac	[21] [24] [25] [26] [27]
3	Tigran Avanesov	[27]
4	Michele Barletta	[27]
5	David A. Basin	[3] [10]
6	Giampaolo Bella	[21] [24]
7	Yohan Boichut	[10]
8	Mehdi Bouallagui	[3]
9	Alberto Calvi	[27]
10	Alessandro Cappai	[27]
11	Roberto Carbone	[12] [16] [17] [19] [23] [27]
12	Xavier Chantry	[21] [24]
13	Yannick Chevalier	[3] [10] [27]
14	Jorge Cuéllar (Jorge Ricardo Cuellar)	[10] [16] [27]
15	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[27]
16	Paul Hankes Drielsma	[10]
17	Gabriel Erzse	[27]
18	Ulrich Flegel	[20]
19	Simone Frau	[27]
20	Pierre Ganty	[5]
21	Pierre-Cyrille Héam	[10]
22	Samuel Paul Kaluvuri	[25]
23	Paul El Khoury	[11] [18] [22]
24	Olga Kouchnarenko	[10]
25	Alzbeta Krausová	[18]
26	Keqin Li	[23]
27	Yuliya Lierler (Yuliya Babovich-Lierler, Yuliya Babovich)	[7]
28	Volkmar Lotz	[14] [15] [20]
29	Jacopo Mantovani	[10]
30	Fabio Massacci	[11] [14] [18] [22]
31	Marius Minea	[27]
32	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[3] [10] [27]
33	Antonio Muñoz	[19]
34	David von Oheimb	[10] [27]
35	Giancarlo Pellegrino	[23] [26] [27]
36	Serena Elisa Ponta	[25] [26] [27]
37	Silvio Ranise	[1] [9]
38	Jürgen Repp	[19]
39	Marco Rocchetto	[27]
40	Carsten Rudolph	[19]
41	Michaël Rusinowitch	[3] [10] [27]
42	Ayda Saïdane	[22]
43	Judson Santiago	[10]
44	Reshma Thomas	[11]
45	M. Llanos Tobarra	[16]
46	Mathieu Turuani	[3] [10] [27]
47	Luca Viganò	[3] [10] [27]
48	Laurent Vigneron	[3] [10]
49	Konrad Wrona	[15]
50	Nicola Zannone	[11] [18]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page