.:. Browse > List by authors > Vigneron .:.

50 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions Chevalier Y., Küsters R., Rusinowitch M., Turuani M., Vigneron L. Dans Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Güdel Colloquium, KGC 2003 2803 (2003) 128-141 [inria-00099514 - version 1]

Abstract Congruence Closure Bachmair L., Tiwari A., Vigneron L. Journal of Automated Reasoning 31, 2 (2003) 129-168 [inria-00099511 - version 1]

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions Chevalier Y., Küsters R., Rusinowitch M., Turuani M., Vigneron L. N° RR-4869 (2003) [inria-00071714 - version 1]

Analyse Automatique de Protocoles de Sécurité avec CASRUL Bouallagui M., Chevalier Y., Rusinowitch M., Turuani M., Vigneron L. In Sécurité et Architecture Réseaux - SAR'2002 (2002) [inria-00103879 - version 1]

Automated Unbounded Verification of Security Protocols Chevalier Y., Vigneron L. In 14th International Conference on Computer Aided Verification - CAV'2002 2404 (2002) 324-337 [inria-00100916 - version 1]

The AVISS Security Protocol Analysis Tool Armando A., Basin D., Bouallagui M., Chevalier Y., Compagna L., Moedersheim S., Rusinowitch M., Turuani M., Vigano L., Vigneron L. Dans 14th International Conference on Computer Aided Verification - CAV'2002 2404 (2002) 349-353 [inria-00100915 - version 1]

Strategy for Verifying Security Protocols with Unbounded Message Size Chevalier Y., Vigneron L. N° RR-4368 (2002) [inria-00072220 - version 1]

Automated Unbounded Verification of Security Protocols Chevalier Y., Vigneron L. N° RR-4369 (2002) [inria-00072219 - version 1]

A Tool for Lazy Verification of Security Protocols Chevalier Y., Vigneron L. N° A01-R-140 || chevalier01b (2001) [inria-00107545 - version 1]

Towards Efficient Automated Verification of Security Protocols Chevalier Y., Vigneron L. In Verification Workshop - VERIFY'01 (in connection with IJCAR'01) (2001) 15 p [inria-00101104 - version 1]