Laurent Vigneron
Centre National de la Recherche Scientifique(FR)Laboratoire Lorrain de Recherche en Informatique et ses Applications(FR)Université de Lorraine(FR)
Publications by Year
Research Areas
Advanced Authentication Protocols Security, User Authentication and Security Systems, Formal Methods in Verification, Logic, programming, and type systems, Logic, Reasoning, and Knowledge
Most-Cited Works
- → The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications(2005)1,313 cited
- A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols(2004)
- → Compiling and Verifying Security Protocols(2007)94 cited
- → Automated Unbounded Verification of Security Protocols(2002)65 cited
- → Abstract Congruence Closure(2003)59 cited
- → The AVISS Security Protocol Analysis Tool(2002)55 cited
- → A tool for lazy verification of security protocols(2005)42 cited