Laurent Vigneron

Publication Activity (10 Years)

Years Active: 1991-2010
Publications (10 Years): 0

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Jing Liu, Laurent Vigneron
Design and verification of a non-repudiation protocol based on receiver-side smart card. IET Inf. Secur. 4 (1) (2010)
Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Laurent Vigneron
Formal verification of secure group communication protocols modelled in UML. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Francis Klay, Laurent Vigneron
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. Formal Aspects in Security and Trust (2008)
Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
Tree automata with equality constraints modulo equational theories. J. Log. Algebraic Methods Program. 75 (2) (2008)
Judson Santiago, Laurent Vigneron
Optimistic Non-repudiation Protocol Analysis. WISTP (2007)
Francis Klay, Judson Santiago, Laurent Vigneron
Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder CoRR (2007)
Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Olivier Festor, Laurent Vigneron
Automated verification of a key management architecture for hierarchical group protocols. Ann. des Télécommunications 62 (11-12) (2007)
Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
Tree Automata with Equality Constraints Modulo Equational Theories. IJCAR (2006)
Yannick Chevalier, Laurent Vigneron
Rule-based Programs Describing Internet Security Protocols. Electron. Notes Theor. Comput. Sci. 124 (1) (2005)
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)
Yannick Chevalier, Laurent Vigneron
Strategy for Verifying Security Protocols with Unbounded Message Size. Autom. Softw. Eng. 11 (2) (2004)
Deepak Kapur, Laurent Vigneron
Preface. J. Autom. Reason. 33 (3-4) (2004)
Leo Bachmair, Ashish Tiwari, Laurent Vigneron
Abstract Congruence Closure. J. Autom. Reason. 31 (2) (2003)
Ingo Dahn, Laurent Vigneron
Preface. Electron. Notes Theor. Comput. Sci. 86 (1) (2003)
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. CSL (2003)
Yannick Chevalier, Laurent Vigneron
Automated Unbounded Verification of Security Protocols. CAV (2002)
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)
Yannick Chevalier, Laurent Vigneron
A Tool for Lazy Verification of Security Protocols. ASE (2001)
Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron
Congruence Closure Modulo Associativity and Commutativity. FroCoS (2000)
Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
Compiling and Verifying Security Protocols. LPAR (2000)
Laurent Vigneron
Automated Deduction Techniques for Studying Rough Algebras. Fundam. Informaticae 33 (1) (1998)
Michaël Rusinowitch, Laurent Vigneron
Automated deduction with associative-commutative operators. Appl. Algebra Eng. Commun. Comput. 6 (1995)
Laurent Vigneron
Positive Deduction modulo Regular Theories. CSL (1995)
Laurent Vigneron
Associative-Commutative Deduction with Constraints. CADE (1994)
Michaël Rusinowitch, Laurent Vigneron
Automated deduction with associative commutative operators. FAIR (1991)

Laurent Vigneron.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Laurent Vigneron