* WG/BoF Reports and administrivia (10 mins)
* Invited/offered talks
- Verifying Real-World Protocols (30 min)
  Karthik Bhargavan
- The Sphinx Packet Format for Mix-nets and Bitcoin
  Harry Halpin
- draft-nslag-mpls-deprecate-md5 (10 min)
  Stewart Bryant
* open-mic (10 mins)