Automated Verification of Infinite State Systems

Deliverables and Papers

• Alessandro Armando, David 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.
  
In E. Brinksma and K.G. Larsen, editors, Proceedings of CAV'02, LNCS 2404, pages 349--353. Springer-Verlag, 2002.
• Alessandro Armando and Luca Compagna: Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning.
  
In 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Houston, Texas, November 2002. Also presented at the FCS & Verify Workshops, Copenhagen, Denmark, July 2002.
• Yannick Chevalier and Laurent Vigneron: Automated Unbounded Verification of Security Protocols.
  In E. Brinksma and K.G. Larsen, editors, Proceedings of CAV'02, LNCS 2404, pages 324--337. Springer-Verlag, 2002. Also Technical Report 4369, INRIA (France), January 2002.
• Yannick Chevalier and Laurent Vigneron: A Tool for Lazy Verification of Security Protocols.
  In Proceedings of ASE-2001: The 16th IEEE Conference on Automated Software Engineering, San Diego (CA), November 2001. IEEE CS Press. Long version available as Technical Report A01-R-140, LORIA, Nancy (France).
• Yannick Chevalier and Laurent Vigneron: Towards Efficient Automated Verification of Security Protocols.
  In Proceedings of the Verification Workshop (VERIFY'01) (in connection with IJCAR'01), Università degli studi di Siena, TR DII 08/01, pages 19-33, Siena (Italy), June 2001. Also available as Technical Report A01-R-046, LORIA, Nancy (France).
• Michaël Rusinowitch and Mathieu Turuani. Protocol Insecurity with Finite Number of Sessions is NP-complete.
  In 14th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia (Canada), June 2001. Also available as Technical Report A01-R-051, LORIA, Nancy (France).