23-27 Mar 2026 Luz-Saint-Sauveur (France)

Program

Tuesday, March 24, 2026
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
›9:15 (1h)
Towards a Formally Secure eBPF
Frédéric Besson
› Séminaire
›10:15 (30min)
Coffee break
› Séminaire
›10:45 (30min)
Presentations
›11:15 (1h)
Symbolic Protocol Verification
› Séminaire
›12:15 (1h45)
Lunch
› Restaurant
›14:00 (30min)
Presentations
›14:30 (1h30)
Binary Analysis
› Séminaire
›16:00 (30min)
Coffee break
› Séminaire
›16:30 (1h)
Demo
›19:30 (1h30)
Dinner
› Restaurant
Session
Speech/Intervention
Logistics
Break
Tour
Loading... Loading...