https://github.com/viperproject/protocol-verification-refinement

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

automated-verification implementation protocol-verification separation-logic symbolic-security tamarin

Last synced: 12 Mar 2025