Ecole d’hiver 2024
29 janvier au 2 février 2024
931 Route de la Sure 38880 Autrans Méaudre en Vercors
Le PEPR Cybersécurité organise sa première École d’hiver à destination des doctorants en cybersécurité du 29 janvier au 2 février 2024 à Autrans dans le massif du Vercors.
L’objectif de l’école est double:
(i) permettre aux doctorants d’acquérir une culture en cybersécurité en dehors du spectre très focalisé de leur sujet de thèse.
(ii) leur permettre de présenter leurs travaux en cours afin d’avoir des échanges avec les autres doctorants et les permanents présents dans l’école.
Points clés :
- Dates: du 29/01/2024 au 02/02/2024
- Lieu: Autrans (Vercors): https://www.escandille.com
- Transports: Les participants devront rejoindre la gare de Grenoble lundi 29/01 avant 14h. Nous réserverons un bus qui montera les participants à l’école.
- Organisation: L’école comprendra des sessions thématiques couvrant des thèmes forts de la cybersécurité (e.g., protection des données personnelles, Malwares, cryptanalyse, etc).
La journée sera divisée en deux sessions de travail (8h-12h puis 17h-20h). Un temps libre sera aménagé tous les jours de 12h-17h pour les éventuelles activités de neige, repos, échanges, etc.
Chaque session comprendra un exposé invité (keynote) et des présentations courtes faites par les doctorants (10-15min).
Dîner festif: Raclette au feu de bois à l’Auberge des Allières. https://www.aubergedesallieres.com/Restaurant.htm
Programme :
- Monday 29/01
14h-15h Bus Grenoble train station-Aurans
15h-16h30 Installation-Free time
16h30-17h Welcome-Introduction
17h-18h30 Simon Pontié (CEA): On the security of embedded systems: side-channel analysis and fault injection. [Session chair : Ivan Neyret]
18h30-18h45 Break
18h50-20h Presentations from PhD students
- Modern Emulation-Based Fuzzing of Embedded Systems (Romain Malmain)
- Prevention of Data Leakage in Database by using SGX (Xinqing LI)
- COoL-TEE: Resilient Decentralized Search against Front-Running Attacks (Matthieu BETTINGER)
- TruShare: Trusted Secret Sharing based Key-Value Store for Untrusted Environments (Aghiles AIT MESSAOUD)
- Convergence sûreté-sécurité des systèmes industriels (Mike Da Silva)
- Hardware verification for constant time execution (Léopold Clément)
- Conception d’architecture de SoC hétérogène sécurisé (Simon Baissat-Chavent)
- Tuesday 30/01
8h-9h30 Renaud Sirdey (CEA): Machine learning as a playground for encrypted-domain computing techniques [Session chair : Antoine Boutet]
9h30-10h Presentations from PhD students
- MOTEUR DE RECOMMANDATION DÉCENTRALISÉ RÉSILIENT ET RESPECTUEUX DE LA VIE PRIVÉE (Julien Nicolas)
- Enhancing Metric Privacy With a Shuffler (Andreas Athanasiou)
- Community Detection Attack against Collaborative Learning-based Recommender System (Yacine Belal)
10h-10h30 Break
10h30-12h Charlie Jacomme (Inria): Formal verification of cryptographic protocols – how it works, and what does formal guarantees even mean and why do we want that?
12h-12h30 Presentations from PhD students
- Mises en gage coucou pour un chiffrement par enregistrement efficace (Perthuis (de) Paola)
- Functional Encryption In the Multi-User Setting (Ky Nguyen)
- Tracing a Linear Subspace: Application to Linearly-Homomorphic Group Signatures (Robert Schädlich)
12h30-14h Lunch
14h-17h Free time
17h-18h30 Stéphane Mocanu (Grenoble INP): Security supervision and orchestration. Work description and a focus on industrial control systems security [Session chair : Mohamed Maouche]
18h30-18h45 Break
18h50-20h Presentations from PhD students
- Analyzing information leakage in JavaScript libraries (Iliana Fayolle)
- Blocking trackers through FML and integration to the /e/OS smartphone operating system (Ivan Baheux)
- Google Tag Manager: Hidden Data Leaks and its Potential Violations under EU Data Protection Law (Gilles Mertens)
- Decentralized privacy-preserving machine learning (Brandon Alejandro Mosqueda González)
- Study on Privacy Concerns in Mobile Devices : Device fingerprinting in Android ecosystem (Sihem BOUHENNICHE)
- Détection automatique de backdoors dans les implémentations de protocoles réseau (Alexandre DOYEN)
- Detection and quantification of privacy bugs in web applications (Sterenn Roux)
- Wednesday 31/01
8h-9h30 Aurore Guillevic (Inria): RSA cryptanalysis: integer factorization and other attacks [Session chair : Emmanuel Thomé]
9h30-10h Presentations from PhD students
- Static Symbolic Execution for binary unpacking (Quentin Jacqmin)
- Volet offensif de la lutte contre les malwares (Léo Bertrand)
- Rétro-ingénierie automatique de code: combiner intelligence artificielle et raisonnement formel pour la déobfuscation (Haim Attias-Fuchs)
10h-10h30 Break
10h30-12h Eric Saliba (ANSSI): Research and development within the ANSSI’s scientific and technical division [Session chair : Bruno Charrat]
12h-12h30 Presentations from PhD students
- Intégrité du chiffrement homomorphe (Marc Renard)
- Private and secure analysis of data (Ferran Alborch Escobar)
- Détection des intrusions dans les systèmes industriels à l’aide des techniques d’apprentissage automatique (Léa Astrid KENMOGNE MEKEMTE)
12h30-14h Lunch
14h-17h Free time
17h-18h30 Lesly-Ann Daniel (KU Leuven): Formal methods for preventing micro-architectural attacks [Session chair : Cesar Sabater]
18h30-18h45 Break
18h50-20h Presentations from PhD students
- Identification, Security and Share of Personal data in Time Series (Haoying ZHANG)
- Application du chiffrement homomorphe à la confidentialité des données dans les ITS (Nicolas QUERO)
- Traitor Tracing for Threshold Decryption (Nathan Papon)
- Verifiable Decentralized Multi-Client Functional Encryption for Inner Product (Dinh Duy Nguyen)
- Identity/Attribute based homomorphic encryption (Antonina Bondarchuk)
- Towards Lightweight and Resilient Distributed Primitives (Timothé Albouy)
- Secure compilation for hardware vulnerabilities (Sébastien MICHELLAND)
- Thusrday 01/02
9h-10h30 Vincent Roca (Inria): On privacy in web and smartphone environments [Session chair : Sonia Ben Mokhtar]
10h30-11h Presentations from PhD students
- Extraction de signaux matériels et logiciels pour la résilience des réseaux énergétiques (Lalie Arnoud)
- Etude de mécanismes de restauration autonomes pour les systèmes embarqués (Zoé Lagache)
11h-14 Excursion + Lunch @Auberge des Allières
14h-17h Free time
17h-18h30 Presentations from PhD students
- Elisabeth-4 (Rachelle Heim)
- Algorithms and Models for the Differential Analysis of the AES (Margot Funk)
- Fast and Frobenius (Anaëlle LE DEVEHAT)
- Optimisation des requetes relationnelles pour des données multidimensionnelles (maroua zeblah)
- Secure, private and multi-modal authentication thesis project (Alix-Zoé Ntoutoume Nzame)
- Randomness Generation in PQC – Challenges & Opportunities (Diamante Simone Crescenzo)
- Friday 02/02
8h-9h Packing
9h-10h30 Antoine Boutet (Inria) et Alexis Leautier (CNIL): AI and Privacy, a CNIL perspective [Session chair : Bruno Charrat]
10h30-11h Presentations from PhD students
- On the impact of Local Differential Privacy on Fairness: A formal study (Makhlouf Karima)
- Inference Attacks and Utility in Data Releases: Towards a Formalization of Information Leakage (Ramon Gonçalves Gonze)
- Données Synthétiques : Impacts sur la Vie Privée (Thomas Lebrun)
11h-11h30 Closing
11h30-12h30 Lunch
13h Bus Autrans-Grenoble train station