BrighterTube

Vincent Cheval (INRIA Paris) - Joint FM-SEC - Global states in ProVerif

Cyber Security & Resilience Seminar Series (CySe3)282 subscribers

About this video

Advanced · Editorial review · 85% confidence

Round-10 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor/events) and provenance check passed; strict per-title check + final strict pass; oEmbed verified.

A 60-minute video from Cyber Security & Resilience Seminar Series (CySe3): “Vincent Cheval (INRIA Paris) - Joint FM-SEC - Global states in ProVerif”.

Programming & CS

Video by Cyber Security & Resilience Seminar Series (CySe3), played through YouTube's embedded player.