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 | |