Program
| Time |
Event |
(+)
|
|
19:15 - 20:00
|
Bus transfer from Lourdes SNCF Station - Please be on time. |
|
|
20:00 - 21:30
|
Dinner (Restaurant) |
|
| 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) |
|
| 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) |
|
| Time |
Event |
(+)
|
|
09:30 - 10:30
|
Bus transfer to Lourdes SNCF station - Please be on time. |
|
|
