Luca Viganò

2009
45	EE	Andrea Masini, Luca Viganò, Marco Volpe: A Labeled Natural Deduction System for a Fragment of CTL*. LFCS 2009: 338-353
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	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]
6	Yohan Boichut	[30]
7	Mehdi Bouallagui	[16]
8	Carlos Caleiro	[23] [25] [27] [31] [43]
9	Yannick Chevalier	[16] [30]
10	Alessandro Cimatti	[2]
11	Diego Cò	[1]
12	Giancarlo Colla	[1]
13	Luca Compagna	[16] [30]
14	Jorge Cuéllar	[30] [33]
15	Pierpaolo Degano	[26] [32] [38] [39]
16	Paul Hankes Drielsma	[21] [30] [36]
17	Gianni Ferretti	[22]
18	Pierre-Cyrille Héam	[30]
19	Olga Kouchnarenko	[30]
20	Ralf Küsters	[39]
21	GianAntonio Magnani	[22]
22	Jacopo Mantovani	[30]
23	Giuseppe A. Martino	[1]
24	Andrea Masini	[41] [44] [45]
25	Paulo Mateus	[20] [34]
26	Seán Matthews	[3] [4] [5] [6] [7] [8] [9]
27	Sebastian Mödersheim	[16] [18] [19] [21] [24] [29] [30] [36] [37]
28	Sergio Novella	[1]
29	David von Oheimb	[30]
30	Amedeo Pata	[1]
31	Birgit Pfitzmann	[37]
32	Jaime Ramos	[43]
33	João Rasga	[13] [15] [17]
34	Alexandro Regoli	[1]
35	Tiago Reis	[34]
36	Frank Rittinger	[12] [14]
37	Paolo Rocco	[22]
38	Michaël Rusinowitch	[16] [30] [33]
39	Judson Santiago	[30]
40	Amílcar Sernadas	[13] [15] [17] [20]
41	Cristina Sernadas	[13] [15] [17] [20]
42	Giancarlo Succi	[1]
43	Mathieu Turuani	[16] [30]
44	Laurent Vigneron	[16] [30]
45	Marco Volpe	[40] [42] [45]
46	Steve Zdancewic	[39]
47	Margherita Zorzi	[41] [44]

Colors in the list of coauthors