Journées 2022 du GT "Méthodes Formelles pour la Sécurité", GdR Sécurité Informatique

Breakfast

Social Event: Guided discovery of the Esterel Massif by foot (and bus). Picknick on the beach at lunchtime.

GT MFS

Static Analysis 2 - Chair: Nikolai Kosmatov

› Analyse de contre-mesures dans le cadre d'attaques multiples - Etienne Boespflug, VERIMAG 16:00-16:20 (20min)

› Stack smashing analysis by abstract interpretation of binary code - Julien Forget, Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires 16:20-16:40 (20min)

› Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks - Francesco Parolini, Sorbonne University 16:40-17:00 (20min)

Coffee break

GT MFS

Network Security - Chair: Marie-Laure Potet

› Learning and Knowledge for Anomaly Detection - Yannick Chevalier, IRIT 17:30-17:50 (20min)

› Formal analysis of security issues in dynamic virtual networks - Pierre Le Scornet, Université de Rennes 1 17:50-18:10 (20min)

Tools Session

Dinner