Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Vigneron, Laurent - Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Université Henri Poincaré -Nancy-Université
A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
Laboratoire de Recherche
Cryptographic Universit e
Automated Unbounded Veri cation of Security Protocols
D'eduction dans des th'eories 'equationnelles avec contraintes symboliques
Universit'e Henri Poincar'e --Nancy 1 CRIN --CNRS Facult'e des Sciences INRIA Lorraine
RECHERCHE en INFORMATIQUE de
Automated Reasoning in Equational Theories Laurent Vigneron
Rough Algebras and Automated Deduction Anita Wasilewska 1 and Laurent Vigneron 2
ROUGH AND MODAL ALGEBRAS Laurent VIGNERON
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications #
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions ?
RECHERCHE en INFORMATIQUE de
Rough Diagrams Laurent Vigneron
Theorem Proving modulo Regular Theories Laurent Vigneron
A Tool for Lazy Verification of Security Protocols Y. Chevalier L. Vigneron
Abstract Congruence Closure Leo Bachmair
Analyse Automatique de Protocoles de S ecurit e avec CASRUL
Positive Deduction modulo Regular Theories ? Laurent Vigneron
Automatic Verification of a Key Management Architecture for Hierarchical Group Protocols
Efficient Strategies for Automated Reasoning Laurent Vigneron \Lambday
On Generalized Rough Sets (extended abstract)
RECHERCHE en INFORMATIQUE de
Strategy for Verifying Security Protocols with Unbounded Message Size
Rough Equality Algebras Anita Wasilewska and Laurent Vigneron \Lambda
Rulebased Programs describing Internet Security Protocols # Yannick Chevalier and Laurent Vigneron
Ecole Doctorale IAEM Lorraine Departement de Formation Doctorale en informatique
Positive Deduction modulo Regular Theories ? Laurent Vigneron
Ecole Doctorale IAEM Lorraine Departement de Formation Doctorale en informatique
