This page shows all presentations of this author published in EasyChair Smart Slide.
A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif.
Vincent Cheval, Véronique Cortier and Mathieu Turuani
The DEEPSEC prover
Vincent Cheval, Steve Kremer and Itsaka Rakotonirina