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:
- Differential Privacy Testing System☆22Updated 5 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆30Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- A foundational framework for modular cryptographic proofs in Coq☆70Updated this week
- Verifying encodings into propositional logic in Lean☆12Updated 2 years ago
- CertiCrypt Coq Framework☆36Updated 9 years ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 months ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆53Updated last month
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated 2 weeks ago
- PC-miner tool for program chairs☆29Updated last month
- A framework for smart contract verification in Coq☆124Updated 2 weeks ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- ☆16Updated last year
- Statistical Counterexample Detector for Differential Privacy☆28Updated last year
- Compositional Verification of Security Protocols☆22Updated 2 weeks ago
- ☆13Updated 4 years ago
- ☆31Updated 3 years ago
- ☆14Updated 3 months ago
- Code2Inv: Learning Loop Invariants for Program Verification☆97Updated 4 years ago
- Safety Verification of Deep Neural Networks☆50Updated 7 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
- ☆101Updated 5 years ago
- Certified Machine Learning☆41Updated 4 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 6 months ago
- SampCert : Verified Differential Privacy☆82Updated 6 months ago
- ☆14Updated 5 years ago
- ☆72Updated 6 months ago
- An automated deductive program verifier based on concurrent separation logic☆21Updated 2 months ago
- An arbitrary-precision differentiable programming language.☆36Updated 2 years ago