Réunion Semestrielle Sertif 2 juin 2015 ANR-14-ASTR-0003-01 Présents : ML Potet Louis Dureuil, Ph; De Choudens, E. Crochon, C. Dumas Thanh-Ha Le, Maël Berthier
Ordre du jour Point d'avancement / infos générales (MLP) Point sur la forge et le site web (Louis) Validation livrable recueil des besoins (Morpho) Présentation des notions/définition du L2.1 (Maël/Louis) Repas Démarrage du benchmark et de la plate-forme d'expérimentation (Morpho-Louis) Discussion sur les attendus de chacun sur la tâche 4 (MLP/Maël) Lancement des livrables à T0+12 : L2.1 : Critères pour la plausibilité d'une attaque (CEA) L3.1 : Benchmark (Morpho) L4.1 : Proposition de critères de couverture et leur mise en oeuvre (Vérimag)
Quelques dates Démarrage administratif : 01/10/2014 Démarrage pour nous : 01/11/2014 Rapport intermédiaire T0+12 : 01/10/2015 Accord de consortium attendu : 17/02/2016 Rapport final : 31/01/2017
Fait Présentation projet ANR (février 2015) Prise de contact avec Julien Micolod et Marie-Véronique Serfaty Résumé public du projet Rapport à TO+6 pour l’ANR Lancement accord de consortium par l’UJF (chez les partenaires depuis 24/04/2015) Réunion téléphonique Copil (29/04/2015) Réunions téléphoniques Benchmark (13/05/2015) (Vérimag, CEA, Morpho) et Définitions (CEA, Morpho) (avril 2015)
Sertif en bref T0 : 1/11/2014 T0+6 (fin tâche 1) : Recueil des besoins (Morpho) T0+12 : Critères pour la plausabilité d’une attaque (CEA) Benchmark (Morpho) Proposition de critères de couverture et leur mise en œuvre (Vérimag) Accord de consortium (Vérimag)
Sertif en bref (2) T0+18 (fin tâche 2) : Protocole d’analyse de robustesse (CEA) T0+24 (fin tâches 3, 4 et 5) : Résultats des évaluations (Morpho) Analyse de code et évaluation de contre-mesures (Vérimag) Séminaire de présentation des résultats (CEA) Rapport final ANR-DGA (Vérimag)
A faire Site web Logo ? Template Livrable latex (avec logos ANR et DGA) Postdoc Vérimag Prochaine réunion : novembre 2015 ? Préparer les livrables à TO+12 Comment travailler sur le benchmark ? Réunion intermédiaire / points téléphoniques
La forge http://forge.imag.fr Dépôts de documents : pour les présentations, rapports ANR, publis, présentations de réunions, … dans leur version finale svn checkout svn+ssh://<login-forge>@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/svn/sertif-projet/trunk : pour le travail collaboratif benchmark/livrables
Le site web Page d’accueil avec résumé du projet + numéro ANR Enumération et description des Work Packages Présentations du Consortium Liste des publications Annonce du Workshop, organisation Workshop (quand applicable)
logos