08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
23:00
8:30 - 9:00 (30min)
Accueil café
Hall
9:00 - 9:30 (30min)
Accueil
Espace conférence
Caroline Fontaine
9:30 - 10:30 (1h)
Keynote - Hamed Haddadi
Espace conférence
› Securing the next Billion Devices on the Edge
- Hamed Haddadi, Department Computer Science [London]
09:30-10:30 (1h)
10:30 - 11:00 (30min)
Pause café
Hall
11:00 - 11:45 (45min)
Plénière - Cas Cremers
Espace conférence
› The future of security protocol analysis: towards provable guarantees for apps?
- Cas Cremer, Helmholtz Center for Information Security [Saarbrücken]
11:00-11:45 (45min)
11:45 - 13:00 (1h15)
Déjeuner
Hall
13:00 - 14:30 (1h30)
GT C2-SSM
Espace conférence
› Trendy Tastings: AOP (Arithmetization-Oriented Primitives) - Savoring Symmetric Cryptography's Newest Arrivals
- Clémence Bouvier, Ruhr Universität Bochum
13:00-13:45 (45min)
› Post-quantum security for constrained environments
- Benjamin Smith, Laboratoire d'informatique de l'École polytechnique [Palaiseau]
13:45-14:30 (45min)
13:00 - 14:30 (1h30)
GT MFS
Petri-Turing
› Retrospective on Formal Verification of a JavaCard Virtual Machine with Frama-C
- Nikolai Kosmatov, Thales Research and Technology - Adel Djoudi, THALES [France]
13:00-13:45 (45min)
› HoRStify: Sound Security Analysis of Smart Contracts
- Clara Schneidewind, Max Planck Institute for Security and Privacy
13:45-14:30 (45min)
14:30 - 15:00 (30min)
Pause café
Hall
15:00 - 16:30 (1h30)
GT C2-SSM
Espace conférence
› Accélération matérielle d'une signature ECDSA dans un ASIC en FD-SOI 22nm avec contremesures aux attaques physiques
- Simon Pontié, CEA-Leti
15:00-15:45 (45min)
› Codes correcteurs d'erreurs : des télécommunications à la cryptographie, deux faces d'un même circuit
- Cyrille Chavet, Université de Bretagne-Sud UEB, CNRS Lab-STICC - Bertrand Le Gal, Architectures matérielles spécialisées pour l'ère post loi-de-Moore
15:45-16:30 (45min)
15:00 - 16:30 (1h30)
GT MFS
Petri-Turing
› HACL*: Verifying High-Performance Cryptographic Implementations
- Aymeric Fromherz, Inria Paris
15:00-15:45 (45min)
› Automating Game Reasoning for Decentralized Protocols
- Laura Kovacs, Vienna University of Technology
15:45-16:30 (45min)
16:30 - 16:45 (15min)
Mini pause
Hall
16:45 - 18:00 (1h15)
Assemblée générale
Espace conférence
9:00 - 9:45 (45min)
Plénière - Aurore Fass
Espace conférence
› Browser Extension (In)Security
- Aurore Fass, Helmholtz Center for Information Security [Saarbrücken]
09:00-09:45 (45min)
9:45 - 10:30 (45min)
Plénière - Kai Wang
Espace conférence
› Digital image forensics: Different approaches and some recent focuses
- Kai Wang, Grenoble Images Parole Signal Automatique
09:45-10:30 (45min)
10:30 - 11:00 (30min)
Pause café
Hall
11:00 - 11:45 (45min)
Plénière - Jean-Max Dutertre
Espace conférence
› Photonic emission as an attack tool: reverse-engineering and data extraction
- Jean-Max Dutertre, École des Mines de Saint-Étienne
11:00-11:45 (45min)
11:45 - 13:00 (1h15)
Déjeuner
Hall
13:00 - 13:45 (45min)
Prix de thèse
Espace conférence
13:45 - 14:00 (15min)
Mini Pause
Hall
14:00 - 15:30 (1h30)
GT SSLR
Petri-Turing
› OASIS: un framework pour la détection d'intrusion embarquée dans les contrôleurs Bluetooth Low Energy
- Romain Cayre, Eurecom [Sophia Antipolis]
14:00-14:45 (45min)
› Diamonds: Automatic Discovery and Selective Mitigation of Spectre Vulnerabilities in Binary Executables
- Christophe Hauser, Dartmouth College
14:45-15:30 (45min)
14:00 - 15:30 (1h30)
GT SDM-PVP
Espace conférence
› La voix, une modalité d'identification unique, avec ses limites et ses risques
- Jean-François Bonastre, Laboratoire Informatique d'Avignon
14:00-14:30 (30min)
› Vers une évolution de la caractérisation du risque de ré-identification des images médicales
- Mohamed Maouche, Inria Lyon - Carole Frindel, Centre de Recherche en Acquisition et Traitement de l'Image pour la Santé
14:30-15:00 (30min)
› AI Friendly Hacker : quand une IA révèle plus qu'elle ne devrait...
- Vincent Thouvenot, Thales Services
15:00-15:30 (30min)
15:30 - 16:00 (30min)
Pause café
Hall
16:00 - 17:30 (1h30)
GT SDM-PVP
Espace conférence
› Security of foundation models: implications for downstream tasks, content protection and tracking
- Slava Voloshynovskyy, Université de Genève
16:00-16:50 (50min)
› Confidentialité des modèles d'IA : Qu'est-ce qu'il y a dans la boîte noire ?
- Teddy Furon, Inria Rennes – Bretagne Atlantique
16:50-17:30 (40min)
16:00 - 17:30 (1h30)
GT SSLR
Petri-Turing
› Dissecting EME; the DRM protocol for the Web
- Mohamed Sabt, Institut de Recherche en Informatique et Systèmes Aléatoires
16:00-16:45 (45min)
› Deploying quantum resistant firmware integrity protections
- Thalia Laing, HP Labs
16:45-17:30 (45min)
19:00 - 23:00 (4h)
Cocktail dînatoire
Bar l'Aventure - 7 Allée Rallier du Baty
9:00 - 9:45 (45min)
Plénière - Melek Onen
Espace conférence
› Towards trustworthy federated learning
- Melek Onen, EURECOM
09:00-09:45 (45min)
9:45 - 10:30 (45min)
Plénière - Anne Canteaut
Espace conférence
› Minimalism in Symmetric Cryptography
- Anne Canteaut, Centre Inria de Paris
09:45-10:30 (45min)
10:30 - 11:00 (30min)
Pause café
Hall
11:00 - 12:00 (1h)
Comprendre les biais implicites de genre dans nos pratiques
Espace conférence
› Comprendre les biais implicites de genre dans nos pratiques
- Corentin Clément-Guillotin, Université Côte d'Azur - Lucile Sassatelli, Université Côte d'Azur
11:00-11:45 (45min)
› Discussion avec la commission « égalité femmes-hommes » de l'IRISA et du centre Inria RBA
- Elisa Fromont, Université de Rennes - Nicolas Markey, CNRS - Camille Maumet, Inria
11:45-12:00 (15min)
12:00 - 13:30 (1h30)
Déjeuner - stands partneraires
Hall
13:30 - 14:00 (30min)
REDOCS
Espace conférence
› Présentation REDOCS
- Pascal Lafourcade, Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
13:30-13:35 (05min)
› Localiser la capture d'une vidéo via l'ENF
- Rony Abecidan, CRIStAL
13:35-14:00 (25min)
14:00 - 14:30 (30min)
Plénière - partenaires 1
Espace conférence
› R&D at HP Labs
- David Plaquin, HP Labs
14:00-14:15 (15min)
› R&D chez AMOSSYS
- Frédéric Guihéry, Amossy, AMOSSYS
14:15-14:30 (15min)
14:30 - 15:00 (30min)
Pause café
Hall
15:00 - 15:30 (30min)
Plénière - partenaires 2
Espace conférence
› R&D at CEA list
- Frédéric Recoules, Université Paris-Saclay, CEA, List
15:00-15:15 (15min)
› R&D chez 6cure
- Pierre-Edouard Fabre, 6cure
15:15-15:25 (10min)
› Présentation du club des partenaires
- Caroline Fontaine, CNRS
15:25-15:30 (05min)
15:30 - 16:00 (30min)
Rump Session
Espace conférence
