GT SSLR: Journées 2025 du GT Sécurité des Systèmes, Logiciels et Réseaux

8:00 - 8:30 (30min)

Accueil

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 - 10:00 (10min)

Pause café

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 - 12:25 (45min)

Keynote 2 -- Galaxie: An Efficient and Fault Tolerant Virtual Machine Observability Framework

Alain Tchanaa

12:25 - 15:45 (3h20)

Mot de Clôture

12:45 - 14:30 (1h45)

Déjeuner

Programme