EasyChair Smart SlideDocs/Log in
Author: Vincent Cheval

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.

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

The DEEPSEC prover

Vincent Cheval, Steve Kremer and Itsaka Rakotonirina

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair