Administrivia
-- chairs, 5 mins
Renaming discussion: EDHOC -> LAKE
-- chairs, 10 mins
draft-ietf-lake-authz-08
-- Geovane Fedrecheski, 2 mins
draft-ietf-lake-edhoc-impl-cons-07
-- Marco Tiloca, 10 mins
draft-ietf-lake-app-profiles-05
-- Marco Tiloca, 15 mins
draft-ietf-lake-ra-06
-- Yuxuan Song, 5 mins
draft-ietf-lake-edhoc-psk-08
-- Elsa Lopez Perez, 10 mins
EDHOC-PSK with Ephemeral KEM: a formal verification using SAPIC+
-- Clément Papon, 10 mins
PQ-EDHOC Design Team summary
-- Renzo Navas, 15 mins
draft-ietf-lake-authkem-edhoc-00
-- Lidia Pocero Fraile, 10 mins.
Formal verification of EDHOC with KEM-based Authentication
-- Vaishnavi Sundararajan, 10 mins
draft-pocero-lake-authkemsig-edhoc-01
-- Lidia Pocero Fraile, 5 mins
AOB