2023 Annual Meeting of the WG "Formal Methods for Security"
28-30 Mar 2023 Roscoff (France)
Login
Lost password ?
Create account
Main menu
Home
Program
Slides and presentations
Tool session
Location
Sponsors
Practical Information
HELP
@ Contact
Program
Week
Tue. 28
Wed. 29
Thu. 30
List
‹
Wednesday, March 29, 2023
›
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:00 (1h)
Keynote - Symbolic verification of security protocols: modelling and verifying unlinkability
Stéphanie Delaune
9:00 - 10:00 (1h)
Keynote - Symbolic verification of security protocols: modelling and verifying unlinkability
Stéphanie Delaune
›10:00 (30min)
Coffee break
10:00 - 10:30 (30min)
Coffee break
›10:30 (1h15)
Hardware
chair: David Monniaux
10:30 - 11:45 (1h15)
Hardware
chair: David Monniaux
› Analysis of Fault Effects on Formal RISC-V Microarchitecture Models
- Simon Tollec, CEA
10:30-10:55 (25min)
› Formalisation of hardware security mechanisms
- Pierre WILKE, CentraleSupélec, Inria, Univ Rennes, CNRS IRISA, Rennes, France
10:55-11:20 (25min)
› SoK: Attestation in Confidential Computing
- Muhammad Usama Sardar, TU Dresden
11:20-11:45 (25min)
›11:45 (45min)
Business Meeting
11:45 - 12:30 (45min)
Business Meeting
›12:45 (1h)
Lunch
12:45 - 13:45 (1h)
Lunch
›14:00 (4h)
Boat Tour
14:00 - 18:00 (4h)
Boat Tour
We will explore Morlaix's bay, followed by a free time on Ile de Batz.
›19:30 (1h30)
Dinner -- Banquet was moved to Thursday
19:30 - 21:00 (1h30)
Dinner -- Banquet was moved to Thursday
Session
Speech
Logistics
Break
Tour
Online user:
1
Privacy
Loading...
Loading... 
