Date : 7 novembre 2024
Workshop Arsene
7 novembre 2024 - Valence
Nous avons le plaisir de vous convier au Workshop Arsene le 7 novembre 2024 à Valence. Ce workshop sera l'occasion de présenter le projet ARSENE et les derniers résultats.
Lieu : Grenoble INP-Esisar, UGA
50 Rue Barthélémy de Laffemas, 26000 Valence
Bâtiment D, Amphi D30
Arrêt de bus Valence Pole Briffaut
C'est terminé !
Programme du Workshop
| Heure | Activité | Présentateur |
|---|---|---|
| 9h00 - 9h30 | Accueil Café | |
| 9h30 - 9h45 | Introduction de la journée, Comité de direction du PEPR Cybersécurité | Sonia Ben Mokhtar |
| 9h45 - 10h15 | Présentation du projet ARSENE et de ses grands objectifs | David Hély et Romain Wacquez |
| 10h15 - 10h35 | Inférence de modèles de fautes multi-niveaux pour microprocesseurs RISCV et ARM | Vincent Beroulle (LCIS) |
| 10h35 - 10h55 | Compilation sécurisante: vers une approche systématique | Sébastien Michelland (LCIS) |
| 10h55 | Pause Café | |
| 11h15 - 11h35 | Contremesures logicielles et preuves dans CompCert | Marie-Laure Potet (Verimag) |
| 11h35 - 11h55 | Vérification formelle de la micro-architecture de processeurs pour l’analyse de sécurité contre les attaques par injection de fautes | Mathieu Jan (CEA List) |
| 11h55 | Pause déjeuner | |
| 13h30 - 13h50 | Chiffrement du code avec association des signaux de contrôle pour sa confidentialité et l'intégrité de son exécution | Théophile Gousselot (Mines Saint Etienne) |
| 13h50 - 14h10 | Hardware/Software Runtime pour les protections GPSA dans les coeurs RISC-V | Louis Savary (INRIA) |
| 14h10 - 14h30 | Spéculation sélective: de l'usage de barrières spéculatives vis-à-vis de Spectre | Héry Andrianatrehina et Thomas Rubino (INRIA) |
| 14h30 - 14h50 | Sécurité des SoC complexes et hétérogènes: l’ennemi de l’intérieur | Lilian Bossuet (LHC) |
| 14h50 | Pause Café | |
| 15h00 - 15h20 | Echantillonnage cohérent et générateur d'aléa véritable basé sur les PLL | Florent Bernard (LHC) |
| 15h20 - 15h50 | Impact du bruit flicker dans les TRNG basés sur des anneaux oscillants | Licinius Benea (CEA Leti) |
| 15h50 - 16h10 | Détection d'ouverture de boitier au démarrage par le suivi de la dissipation thermique | Geoffrey Chancel (LIRMM) |
| 16h10 | Conclusion |