Proving Security for Web Protocols

Proving Security for Web Protocols

Thursday 20F

Convener: Daniel Fett

Notes-taker(s): Daniel Fett

Tags for the session - technology discussed/ideas considered: OAuth 2, Formal Analysis, Security

Discussion notes, key understandings, outstanding questions, observations, and, if appropriate to this discussion: action items, next steps:

Navigation menu