Associative-Commutative Deduction with Constraints. - Laurent Vigneron (CADE, 1994)

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

Positive Deduction modulo Regular Theories. - Laurent Vigneron (CSL, 1995)

Automated deduction with associative-commutative operators. - Michaël Rusinowitch; Laurent Vigneron (Appl. Algebra Eng. Commun. Comput., 1995)

Automated Deduction Techniques for Studying Rough Algebras. - Laurent Vigneron (Fundam. Informaticae, 1998)

Congruence Closure Modulo Associativity and Commutativity. - Leo Bachmair; I. V. Ramakrishnan; Ashish Tiwari 001; Laurent Vigneron (FroCoS, 2000)

Compiling and Verifying Security Protocols. - Florent Jacquemard; Michaël Rusinowitch; Laurent Vigneron (LPAR, 2000)

A Tool for Lazy Verification of Security Protocols. - Yannick Chevalier; Laurent Vigneron (ASE, 2001)

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ò 001; Laurent Vigneron (CAV, 2002)

Automated Unbounded Verification of Security Protocols. - Yannick Chevalier; Laurent Vigneron (CAV, 2002)

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. - Yannick Chevalier; Ralf Küsters; Michaël Rusinowitch; Mathieu Turuani; Laurent Vigneron (CSL, 2003)

Preface. - Ingo Dahn; Laurent Vigneron (FTP, 2003)

Abstract Congruence Closure. - Leo Bachmair; Ashish Tiwari 001; Laurent Vigneron (J. Autom. Reason., 2003)

Strategy for Verifying Security Protocols with Unbounded Message Size. - Yannick Chevalier; Laurent Vigneron (Autom. Softw. Eng., 2004)

Rule-based Programs Describing Internet Security Protocols. - Yannick Chevalier; Laurent Vigneron (RULE@RDP, 2004)

Preface. - Deepak Kapur; Laurent Vigneron (J. Autom. Reason., 2004)

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; et al. (CAV, 2005)

Optimistic Non-repudiation Protocol Analysis. - Judson Santiago; Laurent Vigneron (WISTP, 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)

Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder - Francis Klay; Judson Santiago; Laurent Vigneron (CoRR, 2007)

Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. - Francis Klay; Laurent Vigneron (Formal Aspects in Security and Trust, 2008)

Tree automata with equality constraints modulo equational theories. - Florent Jacquemard; Michaël Rusinowitch; Laurent Vigneron (J. Log. Algebraic Methods Program., 2008)

Design and verification of a non-repudiation protocol based on receiver-side smart card. - Jing Liu; Laurent Vigneron (IET Inf. Secur., 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)

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)

Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. - Christophe Ringeissen; Laurent Vigneron (LOPSTR, 2024)