Laurent Vigneron

29 papers A* 4A 2B 3C 2Journal 10Unranked 5

Year	Rank	Type	Title / Venue / Authors
2024	C	`conf`	Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. LOPSTR Christophe Ringeissen, Laurent Vigneron
2011	—	`book`	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
2010	J	`jnl`	Design and verification of a non-repudiation protocol based on receiver-side smart card. IET Inf. Secur. Jing Liu, Laurent Vigneron
2010	J	`jnl`	Formal verification of secure group communication protocols modelled in UML. Innov. Syst. Softw. Eng. Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Laurent Vigneron
2008	—	`conf`	Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. Formal Aspects in Security and Trust Francis Klay, Laurent Vigneron
2008	J	`jnl`	Tree automata with equality constraints modulo equational theories. J. Log. Algebraic Methods Program. Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
2007	J	`jnl`	Automated verification of a key management architecture for hierarchical group protocols. Ann. des Télécommunications Mohamed Salah Bouassida, Najah Chridi, Isabelle Chrisment, Olivier Festor, Laurent Vigneron
2007	J	`jnl`	Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder CoRR Francis Klay, Judson Santiago, Laurent Vigneron
2007	C	`conf`	Optimistic Non-repudiation Protocol Analysis. WISTP Judson Santiago, Laurent Vigneron
2006	A	`conf`	Tree Automata with Equality Constraints Modulo Equational Theories. IJCAR Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
2005	A*	`conf`	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 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
2004	J	`jnl`	Preface. J. Autom. Reason. Deepak Kapur, Laurent Vigneron
2004	—	`conf`	Rule-based Programs Describing Internet Security Protocols. RULE@RDP Yannick Chevalier, Laurent Vigneron
2004	J	`jnl`	Strategy for Verifying Security Protocols with Unbounded Message Size. Autom. Softw. Eng. Yannick Chevalier, Laurent Vigneron
2003	—	`ed.`	4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003 FTP Ingo Dahn, Laurent Vigneron
2003	J	`jnl`	Abstract Congruence Closure. J. Autom. Reason. Leo Bachmair, Ashish Tiwari, Laurent Vigneron
2003	B	`conf`	Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. CSL Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron
2003	—	`conf`	Preface. FTP Ingo Dahn, Laurent Vigneron
2002	A*	`conf`	Automated Unbounded Verification of Security Protocols. CAV Yannick Chevalier, Laurent Vigneron
2002	A*	`conf`	The AVISS Security Protocol Analysis Tool. CAV Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2001	A*	`conf`	A Tool for Lazy Verification of Security Protocols. ASE Yannick Chevalier, Laurent Vigneron
2000	B	`conf`	Compiling and Verifying Security Protocols. LPAR Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron
2000	—	`conf`	Congruence Closure Modulo Associativity and Commutativity. FroCoS Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron
1998	J	`jnl`	Automated Deduction Techniques for Studying Rough Algebras. Fundam. Informaticae Laurent Vigneron
1995	J	`jnl`	Automated deduction with associative-commutative operators. Appl. Algebra Eng. Commun. Comput. Michaël Rusinowitch, Laurent Vigneron
1995	B	`conf`	Positive Deduction modulo Regular Theories. CSL Laurent Vigneron
1994	A	`conf`	Associative-Commutative Deduction with Constraints. CADE Laurent Vigneron
1994	—	`—`	Déduction automatique avec contraintes symboliques dans les théories équationnelles. (Automated deduction with symbolic constraints in equational theories). Laurent Vigneron
1991	—	`conf`	Automated deduction with associative commutative operators. FAIR Michaël Rusinowitch, Laurent Vigneron