# Lightweight Authenticated Key Exchange (LAKE) - IETF 110

## Tuesday, March 9th, 2021 -- 12:00-14:00 UTC

### [Chairs](mailto:lake-chairs@ietf.org):

* Mališa Vučinić
* Stephen Farrell

### Useful Links:

* [Charter](https://datatracker.ietf.org/group/lake/about)
* [Mailing list](https://www.ietf.org/mailman/listinfo/Lake)
* [Jabber room](xmpp:lake@jabber.ietf.org)
* [Minutes](https://codimd.ietf.org/notes-ietf-110-lake)
* [Meetecho](https://meetings.conf.meetecho.com/ietf110/?group=lake&short=&item=1)

### Agenda:

* [Administrivia and Agenda Bash](https://datatracker.ietf.org/meeting/110/materials/slides-110-lake-chairs-slides-02) 
-- chairs, 5 mins
* [Hackathon Report](https://datatracker.ietf.org/meeting/110/materials/slides-110-lake-interop-report-00)
-- Marco Tiloca, 5 mins
* [Update on Formal Verification](https://datatracker.ietf.org/meeting/110/materials/slides-110-lake-update-on-formal-verification-01)
-- Timothy Claeys, 5 mins
* [Changes in EDHOC-05](https://datatracker.ietf.org/meeting/110/materials/slides-110-lake-edhoc-consolidated-01)
-- Göran Selander, 5 mins
* [EDHOC Open Issues](https://datatracker.ietf.org/meeting/110/materials/slides-110-lake-edhoc-consolidated-01)
-- John Mattsson, up to 90 mins
* Next Steps
-- chairs, 5 mins
* AOB