/MCF

Machine-checked proofs of Computationally Complete Symbolic Attacker (CCSA) framework

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.