Luca Viganò Vis

*	2009
50	EE	Pierpaolo Degano, Luca Viganò: Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers Springer 2009
49	EE	Sebastian Mödersheim, Luca Viganò: Secure Pseudonymous Channels. ESORICS 2009: 337-354
48	EE	Sebastian Mödersheim, Luca Viganò: The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. FOSAD 2009: 166-194
47	EE	Andrea Masini, Luca Viganò, Marco Volpe: A Labeled Natural Deduction System for a Fragment of CTL*. LFCS 2009: 338-353
46	EE	Michele Barletta, Silvio Ranise, Luca Viganò: Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) CoRR abs/0906.4570: (2009)
45	EE	Andrea Masini, Luca Viganò, Marco Volpe: A History of Until CoRR abs/0910.4500: (2009)
	2008
44	EE	Andrea Masini, Luca Viganò, Margherita Zorzi: A Qualitative Modal Representation of Quantum Register Transformations. ISMVL 2008: 131-137
43	EE	David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò: A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME 2008: 101-109
42	EE	Luca Viganò, Marco Volpe: Labeled Natural Deduction Systems for a Family of Tense Logics. TIME 2008: 118-126
41	EE	Andrea Masini, Luca Viganò, Margherita Zorzi: A Qualitative Modal Representation of Quantum Register Transformations CoRR abs/0802.4057: (2008)
40	EE	Luca Viganò, Marco Volpe: Labeled Natural Deduction Systems for a Family of Tense Logics CoRR abs/0803.3187: (2008)
39	EE	Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic: Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06). Inf. Comput. 206(2-4): 129 (2008)
38	EE	Pierpaolo Degano, Luca Viganò: Preface. Int. J. Inf. Sec. 7(1): 1 (2008)
	2006
37	EE	Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò: Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. FoSSaCS 2006: 428-445
36	EE	Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin: Formalizing and Analyzing Sender Invariance. Formal Aspects in Security and Trust 2006: 80-95
35	EE	Luca Viganò: Automated Security Protocol Analysis With the AVISPA Tool. Electr. Notes Theor. Comput. Sci. 155: 61-86 (2006)
34	EE	Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò: Towards a Quantitative Analysis of Security Protocols. Electr. Notes Theor. Comput. Sci. 164(3): 3-25 (2006)
33	EE	Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò: Automated Reasoning for Security Protocol Analysis. J. Autom. Reasoning 36(1-2): 1-3 (2006)
32	EE	Pierpaolo Degano, Luca Viganò: Preface. Theor. Comput. Sci. 367(1-2): 1 (2006)
31	EE	Carlos Caleiro, Luca Viganò, David A. Basin: On the semantics of Alice&Bob specifications of security protocols. Theor. Comput. Sci. 367(1-2): 88-122 (2006)
	2005
30	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
29	EE	David A. Basin, Sebastian Mödersheim, Luca Viganò: Algebraic Intruder Deductions. LPAR 2005: 549-564
28	EE	Alessandro Armando, Luca Viganò: Preface. Electr. Notes Theor. Comput. Sci. 125(1): 1- (2005)
27	EE	Carlos Caleiro, Luca Viganò, David A. Basin: Metareasoning about Security Protocols using Distributed Temporal Logic. Electr. Notes Theor. Comput. Sci. 125(1): 67-89 (2005)
26	EE	Pierpaolo Degano, Luca Viganò: Preface. Electr. Notes Theor. Comput. Sci. 135(1): 1-2 (2005)
25	EE	Carlos Caleiro, Luca Viganò, David A. Basin: Deconstructing Alice and Bob. Electr. Notes Theor. Comput. Sci. 135(1): 3-22 (2005)
24	EE	David A. Basin, Sebastian Mödersheim, Luca Viganò: OFMC: A symbolic model checker for security protocols. Int. J. Inf. Sec. 4(3): 181-208 (2005)
23	EE	Carlos Caleiro, Luca Viganò, David A. Basin: Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. Logic Journal of the IGPL 13(6): 637-663 (2005)
	2004
22	EE	Gianni Ferretti, GianAntonio Magnani, Paolo Rocco, Luca Viganò: The Operational Space Control applied to a Space Robotic Manipulator. ICRA 2004: 2550-2555
21	EE	Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò: A Formalization of Off-Line Guessing for Security Protocol Analysis. LPAR 2004: 363-379
20	EE	Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. Logic Journal of the IGPL 12(3): 227-274 (2004)
	2003
19	EE	David A. Basin, Sebastian Mödersheim, Luca Viganò: CDiff: a new reduction technique for constraint-based analysis of security protocols. ACM Conference on Computer and Communications Security 2003: 335-344
18	EE	David A. Basin, Sebastian Mödersheim, Luca Viganò: An On-the-Fly Model-Checker for Security Protocol Analysis. ESORICS 2003: 253-270
17		Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas: Truth-values as Labels: A General Recipe for Labelled Deduction. Journal of Applied Non-Classical Logics 13(3-4): 277-315 (2003)
	2002
16	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
15	EE	João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Labelled Deduction over Algebras of Truth-Values. FroCos 2002: 222-238
14	EE	David A. Basin, Frank Rittinger, Luca Viganò: A Formal Analysis of the CORBA Security Service. ZB 2002: 330-349
13	EE	João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Fibring Labelled Deduction Systems. J. Log. Comput. 12(3): 443-473 (2002)
	2001
12	EE	David A. Basin, Frank Rittinger, Luca Viganò: A formal data-model of the CORBA security service. ESEC / SIGSOFT FSE 2001: 303-304
11	EE	Rafael Accorsi, David A. Basin, Luca Viganò: Towards an awareness-based semantics for security protocol analysis. Electr. Notes Theor. Comput. Sci. 55(1): (2001)
	2000
10		Luca Viganò: An O(n log n)-Space Decision Procedure for the Relevance Logic B+. Studia Logica 66(3): 385-407 (2000)
	1998
9		David A. Basin, Seán Matthews, Luca Viganò: Labelled Modal Logics: Quantifiers. Journal of Logic, Language and Information 7(3): 237-263 (1998)
8		David A. Basin, Seán Matthews, Luca Viganò: Natural Deduction for Non-Classical Logics. Studia Logica 60(1): 119-160 (1998)
	1997
7		David A. Basin, Seán Matthews, Luca Viganò: Labelled Quantified Modal Logics. KI 1997: 171-182
6		David A. Basin, Seán Matthews, Luca Viganò: A New Method for Bounding the Complexity of Modal Logics. Kurt Gödel Colloquium 1997: 89-102
5		David A. Basin, Seán Matthews, Luca Viganò: Labelled Propositional Modal Logics: Theory and Practice. J. Log. Comput. 7(6): 685-717 (1997)
	1996
4		David A. Basin, Seán Matthews, Luca Viganò: A Topography of Labelled Modal Logics. Frontiers of Combining Systems (FroCos) 1996: 75-92
3		David A. Basin, Seán Matthews, Luca Viganò: Implementing Modal and Relevance Logics in a Logical Framework. KR 1996: 386-397
	1993
2		Alessandro Armando, Alessandro Cimatti, Luca Viganò: Building and Executing Proof Strategies in a Formal Metatheory. AI*IA 1993: 11-22
	1992
1		Giancarlo Succi, Giuseppe A. Martino, Giancarlo Colla, Diego Cò, Sergio Novella, Amedeo Pata, Alexandro Regoli, Luca Viganò: SEL Compiler & Abstract Analyzers. ALPUK 1992: 108-123

Coauthor Index

1	Rafael Accorsi	[11]
2	Pedro Adão	[34]
3	Alessandro Armando	[2] [16] [28] [30] [33]
4	Michael Backes	[37]
5	Michele Barletta	[46]
6	David A. Basin	[3] [4] [5] [6] [7] [8] [9] [11] [12] [14] [16] [18] [19] [23] [24] [25] [27] [29] [30] [31] [33] [36] [43]
7	Yohan Boichut	[30]
8	Mehdi Bouallagui	[16]
9	Carlos Caleiro	[23] [25] [27] [31] [43]
10	Yannick Chevalier	[16] [30]
11	Alessandro Cimatti	[2]
12	Diego Cò	[1]
13	Giancarlo Colla	[1]
14	Luca Compagna	[16] [30]
15	Jorge Cuéllar	[30] [33]
16	Pierpaolo Degano	[26] [32] [38] [39] [50]
17	Paul Hankes Drielsma	[21] [30] [36]
18	Gianni Ferretti	[22]
19	Pierre-Cyrille Héam	[30]
20	Olga Kouchnarenko	[30]
21	Ralf Küsters	[39]
22	GianAntonio Magnani	[22]
23	Jacopo Mantovani	[30]
24	Giuseppe A. Martino	[1]
25	Andrea Masini	[41] [44] [45] [47]
26	Paulo Mateus	[20] [34]
27	Seán Matthews	[3] [4] [5] [6] [7] [8] [9]
28	Sebastian Mödersheim	[16] [18] [19] [21] [24] [29] [30] [36] [37] [48] [49]
29	Sergio Novella	[1]
30	David von Oheimb	[30]
31	Amedeo Pata	[1]
32	Birgit Pfitzmann	[37]
33	Jaime Ramos	[43]
34	Silvio Ranise	[46]
35	João Rasga	[13] [15] [17]
36	Alexandro Regoli	[1]
37	Tiago Reis	[34]
38	Frank Rittinger	[12] [14]
39	Paolo Rocco	[22]
40	Michaël Rusinowitch	[16] [30] [33]
41	Judson Santiago	[30]
42	Amílcar Sernadas	[13] [15] [17] [20]
43	Cristina Sernadas	[13] [15] [17] [20]
44	Giancarlo Succi	[1]
45	Mathieu Turuani	[16] [30]
46	Laurent Vigneron	[16] [30]
47	Marco Volpe	[40] [42] [45] [47]
48	Steve Zdancewic	[39]
49	Margherita Zorzi	[41] [44]

Colors in the list of coauthors