Selected publications by Vincent Cheval
Conferences
- ACD12
-
M. Arapinis, V. Cheval and S. Delaune. Verifying privacy-type properties in a modular way. In CSF'12. IEEE Computer Society Press, 2012. To appear. ( PDF | PDF (long version) | BibTeX + Abstract )
- CCD11
-
V. Cheval, H. Comon-Lundh and S. Delaune. Trace Equivalence Decision: Negative Tests and Non-determinism. In CCS'11, pages 321-330. ACM Press, 2011. ( PDF | BibTeX + Abstract )
- CCD10
-
V. Cheval, H. Comon-Lundh and S. Delaune. Automating security analysis: symbolic equivalence of constraint
systems. In IJCAR'10, LNAI 6173, pages 412-426. Springer-Verlag, 2010. ( PDF | BibTeX + Abstract )
Other Publications
- CCD09
-
V. Cheval, H. Comon-Lundh and S. Delaune. A decision procedure for proving observational equivalence. In SecCo'09. 2009. ( PDF | BibTeX )
- Che09
-
V. Cheval. Algorithme de décision de l'équivalence symbolique de
systèmes de contraintes. Rapport de Master, Master Parisien de Recherche en Informatique, Paris,
France, September 2009. ( PDF | BibTeX )