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