jamesbornholt/quivela
Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.
PythonApache-2.0
No issues in this repository yet.
Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.
PythonApache-2.0
No issues in this repository yet.