Nicolas Gaudin slides
Jean-Loup Hatchikian-Houdot
Gautier Raimondi – slides – Type-directed Program Transformation for Constant-Time Enforcement
Frédéric Besson – slides – travaux sur constant-time : sémantique de fuites, préservation des fuites (Jasmin, FaCT, …)
Matthieu Baty – slides – Vérification formelle de mécanismes de sécurité dans un processeur RISC-V
Pascal Cotret – slides – Cœurs RISC-V, LiteX, mécanismes de gestion du cache
Guy Gogniat – slides – PCache: Permutation–based Cache to Counter Eviction–based Cache–based Side–Channel Attacks
