Laurent Vigneron

According to our database, Laurent Vigneron authored at least 26 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Combined Abstract Congruence Closure for Theories with Associativity or Commutativity.

Christophe Ringeissen, Laurent Vigneron

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

2011

Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis. (Automated Deduction applied to the Analysis and Verification of Infinite State Systems).

Laurent Vigneron

, 2011

2010

Formal verification of secure group communication protocols modelled in UML.

Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Laurent Vigneron

Innov. Syst. Softw. Eng., 2010

Design and verification of a non-repudiation protocol based on receiver-side smart card.

Jing Liu, Laurent Vigneron

IET Inf. Secur., 2010

2008

Tree automata with equality constraints modulo equational theories.

Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron

J. Log. Algebraic Methods Program., 2008

Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder.

Francis Klay, Laurent Vigneron

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007

Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder

Francis Klay, Judson Santiago, Laurent Vigneron

CoRR, 2007

Automated verification of a key management architecture for hierarchical group protocols.

Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Olivier Festor, Laurent Vigneron

Ann. des Télécommunications, 2007

Optimistic Non-repudiation Protocol Analysis.

Judson Santiago, Laurent Vigneron

Proceedings of the Information Security Theory and Practices. Smart Cards, 2007

2005

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

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

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Preface.

Deepak Kapur, Laurent Vigneron

J. Autom. Reason., 2004

Rule-based Programs Describing Internet Security Protocols.

Yannick Chevalier, Laurent Vigneron

Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

Strategy for Verifying Security Protocols with Unbounded Message Size.

Yannick Chevalier, Laurent Vigneron

Autom. Softw. Eng., 2004

2003

Abstract Congruence Closure.

Leo Bachmair, Ashish Tiwari, Laurent Vigneron

J. Autom. Reason., 2003

Preface.

Ingo Dahn, Laurent Vigneron

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions.

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Automated Unbounded Verification of Security Protocols.

Yannick Chevalier, Laurent Vigneron

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

The AVISS Security Protocol Analysis Tool.

Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

A Tool for Lazy Verification of Security Protocols.

Yannick Chevalier, Laurent Vigneron

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Compiling and Verifying Security Protocols.

Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Congruence Closure Modulo Associativity and Commutativity.

Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron

Proceedings of the Frontiers of Combining Systems, 2000

1998

Automated Deduction Techniques for Studying Rough Algebras.

Laurent Vigneron

Fundam. Informaticae, 1998

1995

Automated deduction with associative-commutative operators.

Michaël Rusinowitch, Laurent Vigneron

Appl. Algebra Eng. Commun. Comput., 1995

Positive Deduction modulo Regular Theories.

Laurent Vigneron

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994

Déduction automatique avec contraintes symboliques dans les théories équationnelles. (Automated deduction with symbolic constraints in equational theories).

Laurent Vigneron

PhD thesis, 1994

Associative-Commutative Deduction with Constraints.

Laurent Vigneron

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994