Code

Rewriting the formal methods section#98

Code

Merged

PieterKas merged 10 commits intomainoauth-wg/oauth-cross-device-security:mainfrom danielfett/formal-analysisoauth-wg/oauth-cross-device-security:danielfett/formal-analysisCopy head branch name to clipboardMar 1, 2024

+88-17

Commits

Commits on Sep 8, 2023

• Started work on rewriting the formal methods section

  danielfett

  committed
  1f34fc6

  Copy full SHA for 1f34fc6

Commits on Sep 19, 2023

• Add more formal analysis works

  danielfett

  committed
  7e50981

  Copy full SHA for 7e50981

• fix merge conflict

  danielfett

  committed
  2368a22

  Copy full SHA for 2368a22

Commits on Sep 27, 2023

• Update draft-ietf-oauth-cross-device-security.md

  Show description for d081ad0
  

  danielfett

  and

  marcopernpruner

  authored
  d081ad0

  Copy full SHA for d081ad0

• Update draft-ietf-oauth-cross-device-security.md

  Show description for 20daf9e
  

  danielfett

  and

  marcopernpruner

  authored
  20daf9e

  Copy full SHA for 20daf9e

Commits on Feb 16, 2024

• Merge branch 'main' into danielfett/formal-analysis

  danielfett

  authored
  b92d095

  Copy full SHA for b92d095

Commits on Mar 1, 2024

• Update formal analysis section

  

  Daniel Fett

  committed
  a5fc41b

  Copy full SHA for a5fc41b

• Merge branch 'main' into danielfett/formal-analysis

  danielfett

  authored
  c07d15f

  Copy full SHA for c07d15f

• Add fullstop, change reference OpenID.VCP to OpenID.VP

  

  Daniel Fett

  committed
  ac7151d

  Copy full SHA for ac7151d

• Update changelog

  

  Daniel Fett

  committed
  323d00b

  Copy full SHA for 323d00b