stateful_protocol_composition_and_typing • Science 26%

automated_stateful_protocol_verification • Science 31%

Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).

protocol-verification-refinement • Science 26%

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