V. Cheval

发表

[Experience feed back committee in radiotherapy (CREx): a compulsory tool for security management evaluation at two years].

T. Lacornerie, A. Fuchs, B. Coche-Dequeant, 2008, Cancer radiotherapie : journal de la Societe francaise de radiotherapie oncologique.

Automatic verification of cryptographic protocols : privacy-type properties. (Vérification automatique des protocoles cryptographiques : propriétés d'équivalence)

Vincent Cheval, V. Cheval, 2012 .