Christophe Ponsard assistera à la série de conférences ICETE qui aura lieu à Vienne du 28 au 30 août prochains. Il interviendra comme orateur dans le cadre de la conférence SECRYPT consacrée à la sécurité et à la cryptographie. Son intervention concerne l’élaboration d’un modèle formel Event-B pour la préparation de média dans le cadre d’analyse informatique légale.
Date: 28 août 2014
Evènement: Interventions CETIC ⊕
Thème d'innovation: Cyber Sécurité ⊕
A propos du projet: EVIDENCE ⊕