uvm-plaid / duetLinks
Duet: A Language for Differential Privacy
☆16Updated 3 years ago
Alternatives and similar repositories for duet
Users that are interested in duet are comparing it to the libraries listed below
Sorting:
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Differential Privacy Testing System☆22Updated 5 years ago
- A foundational framework for modular cryptographic proofs in Coq☆71Updated this week
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31Updated 2 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆53Updated 2 months ago
- An arbitrary-precision differentiable programming language.☆36Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- ☆31Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆12Updated 2 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated last month
- CertiCrypt Coq Framework☆37Updated 9 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Statistical Counterexample Detector for Differential Privacy☆28Updated last year
- SampCert : Verified Differential Privacy☆84Updated 7 months ago
- Python bindings for the Coq interactive proof assistant☆57Updated 3 years ago
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆32Updated 6 years ago
- A framework for smart contract verification in Coq☆124Updated this week
- Oblivious transfer for multiparty computation☆37Updated 5 years ago
- ☆16Updated 5 years ago
- ☆15Updated 5 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆114Updated 5 years ago
- ☆16Updated last year
- Formal verification of the Algorand consensus protocol☆27Updated 3 years ago
- A cyclic theorem prover framework.☆32Updated 4 months ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆61Updated 6 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 8 months ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated 2 years ago
- ☆40Updated this week
- AE-solver and Skolemizer☆17Updated last year
- Certified Machine Learning☆41Updated 4 years ago