viperproject/protocol-verification-refinement

Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"

语言：Haskell · GitHub 星标：7 · Fork：0

话题：automated-verification · implementation · protocol-verification · separation-logic · symbolic-security · tamarin

在 GitHub 上查看原仓库