Yannick Chevalier

Yannick Chevalier

Institut de Recherche en Informatique de Toulouse - Toulouse / France
Others
AD Scientific Index ID: 4412402
Toulouse Institute for Computer Science Research
person_outline Yannick Chevalier's MOST POPULAR ARTICLES
1-) The AVISPA tool for the automated validation of internet security protocols and applicationsA Armando, D Basin, Y Boichut, Y Chevalier, L Compagna, J Cuéllar, ...International conference on computer aided verification, 281-285, 200514012005
2-) An NP decision procedure for protocol insecurity with XORY Chevalier, R Küsters, M Rusinowitch, M TuruaniTheoretical Computer Science 338 (1-3), 247-274, 20052572005
3-) A high level protocol specification language for industrial security-sensitive protocolsY Chevalier, L Compagna, J Cuellar, PH Drielsma, J Mantovani, ...Workshop on Specification and Automated Processing of Security Requirements …, 20041992004
4-) Deciding the security of protocols with Diffie-Hellman exponentiation and products in exponentsY Chevalier, R Küsters, M Rusinowitch, M TuruaniInternational Conference on Foundations of Software Technology and …, 20031672003
5-) The AVANTSSAR platform for the automated validation of trust and security of service-oriented architecturesA Armando, W Arsac, T Avanesov, M Barletta, A Calvi, A Cappai, ...Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 20121442012