GTLL CNRS IRILL

Journée de l'OSIS 2016 :

Sécurité, Sûreté et Confidentialité

10 Mai 2016, Villetaneuse

Programme

Les exposés ont lieu en amphi B.
Le buffet a lieu en salle F003-F004.

Mardi 10 Mai 2016
9h00-9h20 Accueil
9h20-9h30 Laure Petrucci (LIPN)
Ouverture de la journée (vidéo)
9h30-9h45 Roberto Di Cosmo (GTLL)
Présentation du Groupe Thématique Logiciel Libre (transparents, vidéo)
9h45-10h Jean Mairesse (CNRS)
L'année de la Sécurité au CNRS (vidéo)
10h00-10h45 Catuscia Palamidessi (LIX)
Differential privacy and applications to location privacy (transparents, vidéo)
10h45-11h15 Pause café
11h15-12h00 Benjamin Morin (ANSSI)
Prise en compte de la sécurité dans la conception et le développement de logiciels
12h00-12h45 Tayssir Touili (LIPN)
Model-checking for efficient malware detection (transparents, vidéo)
12h45-14h00 Buffet
14h00-14h45 John Regehr (TrustInSoft)
SQLite with a Fine-Toothed Comb (transparents, vidéo)
14h45-15h30 Fabrice Kordon (LIP6)
Building and verifying a quasi-certification entity over Distributed Hash Tables (transparents, vidéo)
15h30-16h00 Pause café
16h00-16h45 Véronique Delebarre (SafeRiver)
Mise en œuvre des méthodes de vérification de modèle et d'analyse statique de code pour la détection de faiblesses et de vulnérabilités (transparents, vidéo)
16h45-19h15 Cocktail de clôture