Vincent Cheval | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jose Moreira
6 publications
Mark Ryan
2 publications
Itsaka Rakotonirina
1 publication
Steve Kremer
1 publication

research

∙ 03/08/2023

Automatic verification of transparency protocols (extended version)

We introduce new features in ProVerif, an automatic tool for verifying s...

0 Vincent Cheval, et al. ∙

research

∙ 11/06/2022

DeepSec: Deciding Equivalence Properties for Security Protocols – Improved theory and practice

Automated verification has become an essential part in the security eval...

0 Vincent Cheval, et al. ∙