3-5 Apr 2024 Saint Pierre d’Oléron (France)

Program

‹ Friday, April 5, 2024
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
›10:00 (30min)
Coffee break
›10:30 (50min)
E-voting
Joseph Lallemand (session chair)
›11:20 (50min)
Trusted Execution Environment
Guillaume Scerri (session chair)
›12:10 (20min)
Business meeting
›12:30 (1h30)
Lunch
›14:00 (1h15)
Symbolic execution
Grégoire Menguy (session chair)
›15:15 (30min)
Coffee break
›15:45 (50min)
Protocol analysis
Bruno Blanchet (session chair)
›16:35 (1h)
Rump sessions
›19:30 (1h30)
Dinner
Session
Speech
Logistics
Break
Tour
Online user: 1 Privacy
Loading...