Reviews
A foundational framework for modular cryptographic proofs in Coq
Search similar apps
License
MIT License
A foundational framework for modular cryptographic proofs in Coq
Creator
A foundational framework for modular cryptographic proofs in Coq
MIT License
A foundational framework for modular cryptographic proofs in Coq