09:30

Welcome, Agenda Bashing

Chairs

09:40

SCP Update
https://datatracker.ietf.org/doc/draft-mazieres-dinrg-scp/

David Mazieres

09:55

SCP Formal Verification

Giuliano Losa

10:10

Distributed Authenticated Mapping

Colin Man

10:25

Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers

Shehar Bano (remote)

10:45

DIN & ANIMA

Toerless Eckert

11:00

Decentralized Trustworthy Internet Infrastructure

Bingyang Liu

11:15

Scope & Agenda Discussion

Chairs, All

11:30

End of Meeting