IETF-120
ufmrg: Usable Formal Methods Research Group

Scheduled Sessions

Agenda, Minutes, and Bluesheets

Agenda IETF120: ufmrg (agenda-120-ufmrg)
Bluesheets IETF120: ufmrg : Thu 16:30 (bluesheets-120-ufmrg-202407251630)

Chatlog and polls

Chat Log IETF120: ufmrg: Thu 09:30 ( as json )

Slides

Chair Slides (slides-120-ufmrg-chair-slides)
A Usuable Formal Method for IETF Specifications (slides-120-ufmrg-a-usuable-formal-method-for-ietf-specifications)
How to write proofs for cryptographic protocols at IETF (v3) (slides-120-ufmrg-how-to-write-proofs-for-cryptographic-protocols-at-ietf-v3)
Protocol speci cation languages: Tamarin + message formats (slides-120-ufmrg-protocol-speci-cation-languages-tamarin-message-formats)
Forge: Usable Model-Finding (slides-120-ufmrg-forge-usable-model-finding)
How to write proofs for cryptographic protocols at IETF (v2) (slides-120-ufmrg-how-to-write-proofs-for-cryptographic-protocols-at-ietf-v2)
Towards Formal Analysis of Attested TLS (slides-120-ufmrg-towards-formal-analysis-of-attested-tls)
SSH formal verification (slides-120-ufmrg-ssh-formal-verification)

Internet-Drafts

Notes and recordings

Notepad for note-takers
Video recording for ufmrg on 2024-07-25 at 16:30:00
Meetecho session recording

Unscheduled Sessions