Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols. - View it on GitHub