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