Program

Week Mon. 23 Tue. 24 Wed. 25 Thu. 26 Fri. 27 List

	Mon. 23	Tue. 24	Wed. 25	Thu. 26	Fri. 27
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	Bus transfer from Lourdes SNCF Station 19:15 - 20:00 (45min) Bus transfer from Lourdes SNCF Station Please be on time. Dinner 20:00 - 21:30 (1h30) Dinner Restaurant	Ouverture - Alexandre Debant, Basile Pesin 9:00 - 9:15 (15min) Ouverture - Alexandre Debant, Basile Pesin Ouverture Towards a Formally Secure eBPF 9:15 - 10:15 (1h) Towards a Formally Secure eBPF Séminaire Frédéric Besson https://gtmfs2026.sciencesconf.org/data/program/keynote_frederic.txt Coffee break 10:15 - 10:45 (30min) Coffee break Séminaire Presentations 10:45 - 11:15 (30min) Presentations Short individual presentations Symbolic Protocol Verification 11:15 - 12:15 (1h) Symbolic Protocol Verification Séminaire › Relay Attacks in Intra-handshake Attestation for Confidential Agentic AI Systems - Muhammad Usama Sardar, TU Dresden 11:15-11:45 (30min) › Security Landscape of SRP: A Symbolic Formal Analysis - Shrey Mukund, Université Clermont Auvergne 11:45-12:15 (30min) Lunch 12:15 - 14:00 (1h45) Lunch Restaurant Presentations 14:00 - 14:30 (30min) Presentations Short individual presentations Binary Analysis 14:30 - 16:00 (1h30) Binary Analysis Séminaire › Adapting BinSec for detecting constant-time violations in post-quantum cryptography algorithms - Yanis Sellami, Laboratoire de Sûreté et de sécurité des Logiciels 14:30-15:00 (30min) › ArBinsec: Symbolic Execution on the Hunt for CWEs - Yaëlle Vinçont, ENS Rennes 15:00-15:30 (30min) › 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 15:30-16:00 (30min) Coffee break 16:00 - 16:30 (30min) Coffee break Séminaire Demo 16:30 - 17:30 (1h) Demo Short and rather informal presentations of tools Dinner 19:30 - 21:00 (1h30) Dinner Restaurant	Analyzing Implementations 9:00 - 10:00 (1h) Analyzing Implementations › DDYF: Differential Dolev-Yao Fuzzing of Cryptographic Protocols - Tom Gouville, Laboratoire Lorrain de Recherche en Informatique et ses Applications 09:00-09:30 (30min) › Formal Verification of PKCS#1 Signature Parser using Frama-C - Virgile Prevosto, Laboratoire de Sûreté et de Sécurité des Logiciels 09:30-10:00 (30min) Coffee break 10:00 - 10:30 (30min) Coffee break Séminaire Tutorial (Tamarin) 10:30 - 12:00 (1h30) Tutorial (Tamarin) Lunch 12:00 - 14:00 (2h) Lunch Restaurant Social Event 14:00 - 18:00 (4h) Social Event Une randonnée dans les Pyrénées. Banquet 19:30 - 22:00 (2h30) Banquet Restaurant	Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel 9:00 - 10:00 (1h) Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel Séminaire Adrien Koutsos https://gtmfs2026.sciencesconf.org/data/program/keynote_adrien.txt Coffee break 10:00 - 10:30 (30min) Coffee break Séminaire Squirrel 10:30 - 11:30 (1h) Squirrel Séminaire › Modularity of mixserver security proofs in the CCSA logic: case of Bayer-Groth protocol - Margot Catinaud, Laboratoire Méthodes Formelles 10:30-11:00 (30min) › Interactive Proofs in Higher-Order Logic with Errors and Application to Concrete Cryptography - Théo Vignon, Laboratoire Méthodes Formelles 11:00-11:30 (30min) Rump 11:30 - 12:00 (30min) Rump Rump Lunch 12:00 - 14:00 (2h) Lunch Restaurant From Software to Hardware 14:00 - 15:00 (1h) From Software to Hardware Séminaire › aLEAKator: HDL Mixed-Domain Simulation for Masked Hardware & Software Formal Verification - Noé Amiot, Architecture et Logiciels pour Systèmes Embarqués sur Puce 14:00-14:30 (30min) › Aiming for a low-overhead AddressSanitizer: repurposing Intel Processor Tracing and associated guarantees - Antonin Reitz, Inria Paris 14:30-15:00 (30min) Coffee break 15:00 - 15:30 (30min) Coffee break Séminaire Fault Injection 15:30 - 16:30 (1h) Fault Injection Séminaire › Design and Formal Verification of Hardware/Software Security - Leslie Fifanon, Institut de Recherche en Informatique et Systèmes Aléatoires, Centrale Supelec - Pierre WILKE, CentraleSupélec, Inria, Univ Rennes, CNRS IRISA, Rennes, France 15:30-16:00 (30min) › Protections contre l'injection de fautes ajoutées à la compilation formellement vérifiée - Benjamin Gaudin, VERIMAG 16:00-16:30 (30min) Business Meeting and Closing 16:30 - 17:30 (1h) Business Meeting and Closing Séminaire Dinner 19:30 - 21:00 (1h30) Dinner Restaurant	Bus transfer to Lourdes SNCF station 9:30 - 10:30 (1h) Bus transfer to Lourdes SNCF station Please be on time.

Privacy | Accessibility