protocol-verification-refinement • Science 26%

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