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
- A foundational framework for modular cryptographic proofs in Coq☆73Updated last week
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 4 years ago
- 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.☆55Updated 3 months ago
- ☆31Updated 3 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated 3 months ago
- CertiCrypt Coq Framework☆37Updated 9 years ago
- Certified Machine Learning☆41Updated 4 years ago
- Compositional Verification of Security Protocols☆30Updated 3 weeks ago
- Python bindings for the Coq interactive proof assistant☆57Updated 4 years ago
- An arbitrary-precision differentiable programming language.☆36Updated 2 years ago
- ☆16Updated 5 years ago
- SampCert : Verified Differential Privacy☆88Updated 9 months ago
- Oblivious transfer for multiparty computation☆37Updated 5 years ago
- An automated deductive program verifier based on concurrent separation logic☆27Updated 2 weeks ago
- ☆38Updated 2 weeks ago
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 9 months ago
- ☆13Updated 4 years ago
- Collection of Distributed Protocol Verification Problems☆14Updated last year
- Lifting Reduction Semantics through Syntactic Sugar☆13Updated 7 years ago
- Statistical Counterexample Detector for Differential Privacy☆28Updated last year
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Updated 4 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆15Updated 4 years ago
- ☆21Updated 3 years ago
- Linear Algebra Done...Lean☆19Updated 8 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Updated 4 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated 2 years ago