DH Case Study#9

Merged

ArquintL merged 13 commits intomainfrom

Nov 21, 2024

Commits on Nov 14, 2024

adds DH model, DH initiator implementation in Go, and DH responder implementation in Java from https://github.com/viperproject/protocol-verification-refinement
ArquintL
committed
adapts DH model to allow messages encrypted under shared key
ArquintL
committed
simplifies DH model
ArquintL
committed

Commits on Nov 16, 2024

adapts DH initiator implementation to verify again
ArquintL
committed

Commits on Nov 20, 2024