Vincent Cheval Chargé de Recherche Laboratoire lorrain de recherche en informatique et ses applications, INRIA Nancy vincent.cheval@loria.fr
Vincent Cheval's Photoghaph

Recent activities


Updated the 22/05/2018

22/05/2018: We received a Distinguished Paper Award at the 2018 IEEE Symposium on Security and Privacy for our paper DEEPSEC: Deciding Equivalence Properties in Security Protocols - Theory and Practice.. See the Twitter post.

31/03/2018: Our paper A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif was accepted at the 2018 IEEE Computer Security Foundations Symposium

31/03/2018: Our tool paper The DEEPSEC prover was accepted at the 2018 International Conference on Computer Aided Verification!

01/01/2018: The ANR project TECAP is starting ! Kick-off meeting is schedueled next March.

29/12/2017: Our paper DEEPSEC: Deciding Equivalence Properties in Security Protocols - Theory and Practice. was accepted at the 2018 IEEE Symposium on Security and Privacy. The tool DeepSec is publicly accessible here.