08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
›8:00 (30min)
8:00 - 8:30 (30min)
Accueil
›8:30 (1h20)
8:30 - 9:50 (1h20)
Sécurité Réseaux
› Work In Progress: Bots, Bots Everywhere
- Iliana Fayolle, Univ. Lille, CNRS, Inria
08:30-08:50 (20min)
› State Machine Issues in Network Stacks and Application to SSH
- Olivier LEVILLAIN, Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
08:50-09:10 (20min)
› Bridging Cybersecurity and Optimization in Future Mobile Network Design
- Sameer Ali, Universitat Oberta de Catalunya [Barcelona]
09:10-09:30 (20min)
› Post-quantum DNSSEC
- Hugo Mayer, Laboratoire de Recherche de l'EPITA
09:30-09:50 (20min)
›9:50 (10min)
9:50 - 10:00 (10min)
Pause café
›10:00 (1h40)
10:00 - 11:40 (1h40)
Sécurité Système
› Augmenting Search-based Program Synthesis with Local Inference Rules to Improve Black-box Deobfuscation
- Vidal Attias, Laboratoire Instrumentation Multi-TEChnique (CEA, LIST), Laboratoire Lorrain de Recherche en Informatique et ses Applications
10:00-10:20 (20min)
› Side Channels and Deep Neural Network Weights: Attacks, Defences and the Future to Come
- Casalino Lorenzo, CentraleSupélec, Inria, Irisa, CNRS
10:20-10:40 (20min)
› Adversarial Agents: LLM-Powered Attacks and Defenses for Android Malware Detectors
- Tianwei Lan, Laboratoire d'Informatique Paris Descartes - Farid NAIT-ABDESSELAM, Laboratoire d'Informatique Paris Descartes
10:40-11:00 (20min)
› GReAT-BeD: Graph Rewriting for Activity Tracking and (Malicious) Behaviour Detection
- Antonin Verdier, Institut de recherche en informatique de Toulouse
11:00-11:20 (20min)
› Improving Code Understanding by Mixing Backward Bounded Symbolic Execution with Lattice-based Property
- Nicolas Bellec, Laboratoire de Génie Logiciel (CEA, LIST)
11:20-11:40 (20min)
›11:40 (45min)
11:40 - 12:25 (45min)
Keynote 2 -- Galaxie: An Efficient and Fault Tolerant Virtual Machine Observability Framework
Alain Tchanaa
›12:25 (3h20)
12:25 - 15:45 (3h20)
Mot de Clôture
›12:45 (1h45)
12:45 - 14:30 (1h45)
Déjeuner
