Programme
| Heures |
événement |
(+)
|
|
08:30 - 09:00
|
Accueil café (Hall) |
|
|
09:00 - 09:30
|
Accueil (Espace conférence) - Caroline Fontaine |
|
|
09:30 - 10:30
|
Keynote - Hamed Haddadi (Espace conférence) |
(+)
|
|
09:30 - 10:30 |
› Securing the next Billion Devices on the Edge - Hamed Haddadi, Department Computer Science [London] |
|
|
10:30 - 11:00
|
Pause café (Hall) |
|
|
11:00 - 11:45
|
Plénière - Cas Cremers (Espace conférence) |
(+)
|
|
11:00 - 11:45 |
› The future of security protocol analysis: towards provable guarantees for apps? - Cas Cremer, Helmholtz Center for Information Security [Saarbrücken] |
|
|
11:45 - 13:00
|
Déjeuner (Hall) |
|
|
13:00 - 14:30
|
GT C2-SSM (Espace conférence) |
(+)
|
|
13:00 - 13:45 |
› Trendy Tastings: AOP (Arithmetization-Oriented Primitives) - Savoring Symmetric Cryptography's Newest Arrivals - Clémence Bouvier, Ruhr Universität Bochum |
|
|
13:45 - 14:30 |
› Post-quantum security for constrained environments - Benjamin Smith, Laboratoire d'informatique de l'École polytechnique [Palaiseau] |
|
|
13:00 - 14:30
|
GT MFS (Petri-Turing) |
(+)
|
|
13:00 - 13:45 |
› Retrospective on Formal Verification of a JavaCard Virtual Machine with Frama-C - Nikolai Kosmatov, Thales Research and Technology - Adel Djoudi, THALES [France] |
|
|
13:45 - 14:30 |
› HoRStify: Sound Security Analysis of Smart Contracts - Clara Schneidewind, Max Planck Institute for Security and Privacy |
|
|
14:30 - 15:00
|
Pause café (Hall) |
|
|
15:00 - 16:30
|
GT C2-SSM (Espace conférence) |
(+)
|
|
15:00 - 15:45 |
› 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:45 - 16:30 |
› 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:00 - 16:30
|
GT MFS (Petri-Turing) |
(+)
|
|
15:00 - 15:45 |
› HACL*: Verifying High-Performance Cryptographic Implementations - Aymeric Fromherz, Inria Paris |
|
|
15:45 - 16:30 |
› Automating Game Reasoning for Decentralized Protocols - Laura Kovacs, Vienna University of Technology |
|
|
16:30 - 16:45
|
Mini pause (Hall) |
|
|
16:45 - 18:00
|
Assemblée générale (Espace conférence) |
|
| Heures |
événement |
(+)
|
|
09:00 - 09:45
|
Plénière - Aurore Fass (Espace conférence) |
(+)
|
|
09:00 - 09:45 |
› Browser Extension (In)Security - Aurore Fass, Helmholtz Center for Information Security [Saarbrücken] |
|
|
09:45 - 10:30
|
Plénière - Kai Wang (Espace conférence) |
(+)
|
|
09:45 - 10:30 |
› Digital image forensics: Different approaches and some recent focuses - Kai Wang, Grenoble Images Parole Signal Automatique |
|
|
10:30 - 11:00
|
Pause café (Hall) |
|
|
11:00 - 11:45
|
Plénière - Jean-Max Dutertre (Espace conférence) |
(+)
|
|
11:00 - 11:45 |
› Photonic emission as an attack tool: reverse-engineering and data extraction - Jean-Max Dutertre, École des Mines de Saint-Étienne |
|
|
11:45 - 13:00
|
Déjeuner (Hall) |
|
|
13:00 - 13:45
|
Prix de thèse (Espace conférence) |
|
|
13:45 - 14:00
|
Mini Pause (Hall) |
|
|
14:00 - 15:30
|
GT SSLR (Petri-Turing) |
(+)
|
|
14:00 - 14:45 |
› OASIS: un framework pour la détection d'intrusion embarquée dans les contrôleurs Bluetooth Low Energy - Romain Cayre, Eurecom [Sophia Antipolis] |
|
|
14:45 - 15:30 |
› Diamonds: Automatic Discovery and Selective Mitigation of Spectre Vulnerabilities in Binary Executables - Christophe Hauser, Dartmouth College |
|
|
14:00 - 15:30
|
GT SDM-PVP (Espace conférence) |
(+)
|
|
14:00 - 14:30 |
› La voix, une modalité d'identification unique, avec ses limites et ses risques - Jean-François Bonastre, Laboratoire Informatique d'Avignon |
|
|
14:30 - 15:00 |
› 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é |
|
|
15:00 - 15:30 |
› AI Friendly Hacker : quand une IA révèle plus qu'elle ne devrait... - Vincent Thouvenot, Thales Services |
|
|
15:30 - 16:00
|
Pause café (Hall) |
|
|
16:00 - 17:30
|
GT SDM-PVP (Espace conférence) |
(+)
|
|
16:00 - 16:50 |
› Security of foundation models: implications for downstream tasks, content protection and tracking - Slava Voloshynovskyy, Université de Genève |
|
|
16:50 - 17:30 |
› 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:00 - 17:30
|
GT SSLR (Petri-Turing) |
(+)
|
|
16:00 - 16:45 |
› Dissecting EME; the DRM protocol for the Web - Mohamed Sabt, Institut de Recherche en Informatique et Systèmes Aléatoires |
|
|
16:45 - 17:30 |
› Deploying quantum resistant firmware integrity protections - Thalia Laing, HP Labs |
|
|
19:00 - 23:00
|
Cocktail dînatoire (Bar l'Aventure - 7 Allée Rallier du Baty) |
|
| Heures |
événement |
(+)
|
|
09:00 - 09:45
|
Plénière - Melek Onen (Espace conférence) |
(+)
|
|
09:00 - 09:45 |
› Towards trustworthy federated learning - Melek Onen, EURECOM |
|
|
09:45 - 10:30
|
Plénière - Anne Canteaut (Espace conférence) |
(+)
|
|
09:45 - 10:30 |
› Minimalism in Symmetric Cryptography - Anne Canteaut, Centre Inria de Paris |
|
|
10:30 - 11:00
|
Pause café (Hall) |
|
|
11:00 - 12:00
|
Comprendre les biais implicites de genre dans nos pratiques (Espace conférence) |
(+)
|
|
11:00 - 11:45 |
› 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:45 - 12:00 |
› 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 |
|
|
12:00 - 13:30
|
Déjeuner - stands partneraires (Hall) |
|
|
13:30 - 14:00
|
REDOCS (Espace conférence) |
(+)
|
|
13:30 - 13:35 |
› Présentation REDOCS - Pascal Lafourcade, Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes |
|
|
13:35 - 14:00 |
› Localiser la capture d'une vidéo via l'ENF - Rony Abecidan, CRIStAL |
|
|
14:00 - 14:30
|
Plénière - partenaires 1 (Espace conférence) |
(+)
|
|
14:00 - 14:15 |
› R&D at HP Labs - David Plaquin, HP Labs |
|
|
14:15 - 14:30 |
› R&D chez AMOSSYS - Frédéric Guihéry, Amossy, AMOSSYS |
|
|
14:30 - 15:00
|
Pause café (Hall) |
|
|
15:00 - 15:30
|
Plénière - partenaires 2 (Espace conférence) |
(+)
|
|
15:00 - 15:15 |
› R&D at CEA list - Frédéric Recoules, Université Paris-Saclay, CEA, List |
|
|
15:15 - 15:25 |
› R&D chez 6cure - Pierre-Edouard Fabre, 6cure |
|
|
15:25 - 15:30 |
› Présentation du club des partenaires - Caroline Fontaine, CNRS |
|
|
15:30 - 16:00
|
Rump Session (Espace conférence) |
|
|
Chargement...