The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luca Viganò: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandro Armando, Alessandro Cimatti, Luca Viganò
    Building and Executing Proof Strategies in a Formal Metatheory. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:11-22 [Conf]
  2. Giancarlo Succi, Giuseppe A. Martino, Giancarlo Colla, Diego Cò, Sergio Novella, Amedeo Pata, Alexandro Regoli, Luca Viganò
    SEL Compiler & Abstract Analyzers. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:108-123 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:281-285 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:349-353 [Conf]
  5. David A. Basin, Sebastian Mödersheim, Luca Viganò
    CDiff: a new reduction technique for constraint-based analysis of security protocols. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer and Communications Security, 2003, pp:335-344 [Conf]
  6. David A. Basin, Sebastian Mödersheim, Luca Viganò
    An On-the-Fly Model-Checker for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2003, pp:253-270 [Conf]
  7. Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò
    Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:428-445 [Conf]
  8. David A. Basin, Seán Matthews, Luca Viganò
    A Topography of Labelled Modal Logics. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:75-92 [Conf]
  9. João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
    Labelled Deduction over Algebras of Truth-Values. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:222-238 [Conf]
  10. David A. Basin, Seán Matthews, Luca Viganò
    A New Method for Bounding the Complexity of Modal Logics. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1997, pp:89-102 [Conf]
  11. David A. Basin, Seán Matthews, Luca Viganò
    Labelled Quantified Modal Logics. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:171-182 [Conf]
  12. David A. Basin, Seán Matthews, Luca Viganò
    Implementing Modal and Relevance Logics in a Logical Framework. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:386-397 [Conf]
  13. David A. Basin, Sebastian Mödersheim, Luca Viganò
    Algebraic Intruder Deductions. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:549-564 [Conf]
  14. Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò
    A Formalization of Off-Line Guessing for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:363-379 [Conf]
  15. David A. Basin, Frank Rittinger, Luca Viganò
    A formal data-model of the CORBA security service. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:303-304 [Conf]
  16. David A. Basin, Frank Rittinger, Luca Viganò
    A Formal Analysis of the CORBA Security Service. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:330-349 [Conf]
  17. Rafael Accorsi, David A. Basin, Luca Viganò
    Towards an awareness-based semantics for security protocol analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:1, pp:- [Journal]
  18. Alessandro Armando, Luca Viganò
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:1-0 [Journal]
  19. Carlos Caleiro, Luca Viganò, David A. Basin
    Metareasoning about Security Protocols using Distributed Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:67-89 [Journal]
  20. Carlos Caleiro, Luca Viganò, David A. Basin
    Deconstructing Alice and Bob. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:3-22 [Journal]
  21. Pierpaolo Degano, Luca Viganò
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:1-2 [Journal]
  22. Luca Viganò
    Automated Security Protocol Analysis With the AVISPA Tool. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:61-86 [Journal]
  23. Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò
    Towards a Quantitative Analysis of Security Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:3-25 [Journal]
  24. Carlos Caleiro, Luca Viganò, David A. Basin
    Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:6, pp:637-663 [Journal]
  25. Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
    Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:3, pp:227-274 [Journal]
  26. David A. Basin, Sebastian Mödersheim, Luca Viganò
    OFMC: A symbolic model checker for security protocols. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2005, v:4, n:3, pp:181-208 [Journal]
  27. Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas
    Truth-values as Labels: A General Recipe for Labelled Deduction. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:3-4, pp:277-315 [Journal]
  28. Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò
    Automated Reasoning for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:36, n:1-2, pp:1-3 [Journal]
  29. David A. Basin, Seán Matthews, Luca Viganò
    Labelled Modal Logics: Quantifiers. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:237-263 [Journal]
  30. David A. Basin, Seán Matthews, Luca Viganò
    Labelled Propositional Modal Logics: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:6, pp:685-717 [Journal]
  31. João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
    Fibring Labelled Deduction Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:3, pp:443-473 [Journal]
  32. David A. Basin, Seán Matthews, Luca Viganò
    Natural Deduction for Non-Classical Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:60, n:1, pp:119-160 [Journal]
  33. Luca Viganò
    An O(n log n)-Space Decision Procedure for the Relevance Logic B+. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:66, n:3, pp:385-407 [Journal]
  34. Carlos Caleiro, Luca Viganò, David A. Basin
    On the semantics of Alice&Bob specifications of security protocols. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:367, n:1-2, pp:88-122 [Journal]
  35. Pierpaolo Degano, Luca Viganò
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:367, n:1-2, pp:1- [Journal]
  36. Gianni Ferretti, GianAntonio Magnani, Paolo Rocco, Luca Viganò
    The Operational Space Control applied to a Space Robotic Manipulator. [Citation Graph (0, 0)][DBLP]
    ICRA, 2004, pp:2550-2555 [Conf]
  37. Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò, David A. Basin
    Formalizing and Analyzing Sender Invariance. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2006, pp:80-95 [Conf]

  38. Secure Pseudonymous Channels. [Citation Graph (, )][DBLP]


  39. The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. [Citation Graph (, )][DBLP]


  40. A Qualitative Modal Representation of Quantum Register Transformations. [Citation Graph (, )][DBLP]


  41. A Labeled Natural Deduction System for a Fragment of CTL*. [Citation Graph (, )][DBLP]


  42. Labeled Natural Deduction Systems for a Family of Tense Logics. [Citation Graph (, )][DBLP]


  43. A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. [Citation Graph (, )][DBLP]


  44. Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures. [Citation Graph (, )][DBLP]


  45. A Qualitative Modal Representation of Quantum Register Transformations [Citation Graph (, )][DBLP]


  46. Labeled Natural Deduction Systems for a Family of Tense Logics [Citation Graph (, )][DBLP]


  47. Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) [Citation Graph (, )][DBLP]


  48. A History of Until [Citation Graph (, )][DBLP]


  49. A History of Until. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002