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 |