/protocol-verification-refinement

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

Primary LanguageHaskellMozilla Public License 2.0MPL-2.0

No issues in this repository yet.