Usable Formal Methods RG - IETF 121

Time

- Tuesday Nov 5th 2024, 1300-1430 UTC, Liffey Hall 1

Remote access:

- https://meetings.conf.meetecho.com/ietf121/?session=33553

Chairs

- Jonathan Hoyland
- Stephen Farrell

Agenda

Administrivia
-- chairs, 5 mins
TLS formal analysis
-- Rich Salz or Joe Salowey, 10 mins
Attested TLS
-- Muhammad Usama Sardar, 30 mins
Verifying iMessage
-- Felix Linker, 30 mins
long-promised presentation
-- Jonathan Hoyland, remaining time:-)
AOB