Programme

Semaine Lun. 10 Mar. 11 Mer. 12 Liste

	Lun. 10	Mar. 11	Mer. 12
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	Accueil café 8:30 - 9:00 (30min) Accueil café Hall Accueil 9:00 - 9:30 (30min) Accueil Espace conférence Caroline Fontaine Keynote - Hamed Haddadi 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) Pause café 10:30 - 11:00 (30min) Pause café Hall Plénière - Cas Cremers 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) Déjeuner 11:45 - 13:00 (1h15) Déjeuner Hall GT C2-SSM GT MFS 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) Pause café 14:30 - 15:00 (30min) Pause café Hall GT C2-SSM GT MFS 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) Mini pause 16:30 - 16:45 (15min) Mini pause Hall Assemblée générale 16:45 - 18:00 (1h15) Assemblée générale Espace conférence	Plénière - Aurore Fass 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) Plénière - Kai Wang 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) Pause café 10:30 - 11:00 (30min) Pause café Hall Plénière - Jean-Max Dutertre 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) Déjeuner 11:45 - 13:00 (1h15) Déjeuner Hall Prix de thèse 13:00 - 13:45 (45min) Prix de thèse Espace conférence Mini Pause 13:45 - 14:00 (15min) Mini Pause Hall GT SSLR GT SDM-PVP 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) Pause café 15:30 - 16:00 (30min) Pause café Hall GT SDM-PVP GT SSLR 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) Cocktail dînatoire 19:00 - 23:00 (4h) Cocktail dînatoire Bar l'Aventure - 7 Allée Rallier du Baty	Plénière - Melek Onen 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) Plénière - Anne Canteaut 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) Pause café 10:30 - 11:00 (30min) Pause café Hall Comprendre les biais implicites de genre dans nos pratiques 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) Déjeuner - stands partneraires 12:00 - 13:30 (1h30) Déjeuner - stands partneraires Hall REDOCS 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) Plénière - partenaires 1 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) Pause café 14:30 - 15:00 (30min) Pause café Hall Plénière - partenaires 2 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) Rump Session 15:30 - 16:00 (30min) Rump Session Espace conférence

Personnes connectées : 2

Vie privée