Administrivia
-- chairs, 5 mins
Formal analysis of draft-ietf-lake-edhoc-psk-06
-- Dhekra Mahmoud, 20 minutes
draft-ietf-lake-edhoc-psk-07
-- Elsa Lopez Perez, 5 minutes
Formal analysis of draft-ietf-lake-ra-03
-- Elsa Lopez Perez, 15 minutes
From formal analysis of attested TLS to attested EDHOC
-- Muhammad Usama Sardar, 5 minutes
draft-ietf-lake-ra-04
-- Yuxuan Song, 10 minutes
draft-ietf-lake-authz-07
-- Geovane Fedrecheski, 15 minutes
draft-ietf-lake-edhoc-impl-cons-06
-- Marco Tiloca, 10 minutes
draft-ietf-lake-app-profiles-04
-- Marco Tiloca, 15 minutes
draft-pocero-authkem-edhoc-02
-- Lidia Pocero, 5 minutes
draft-pocero-authkem-ikr-edhoc-02
-- Lidia Pocero, 5 minutes
draft-papon-lake-pq-edhoc-00
-- Clement Papon, 10 minutes
draft-chen-lake-edhoc-aka-02
-- Meiling Chen, 5 minutes (if time allows)
AOB