symbolic-security

There are 0 repository under symbolic-security topic.

SoundVerification / wireguard
Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
implementation protocol-verification separation-logic tamarin automated-verification symbolic-security
Language:Haskell 4
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
Language:Haskell