|
lundi 10 juin 2024
| 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) |
mardi 11 juin 2024
| 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) |
mercredi 12 juin 2024
| 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) |
|
|