uvm-plaid / duet

Related projects ⓘ

Alternatives and complementary repositories for duet

• eth-sri / dp-finder
  Differential Privacy Testing System
  ☆20Updated 4 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆66Updated 4 years ago
• cmla-psu / statdp
  Statistical Counterexample Detector for Differential Privacy
  ☆28Updated 7 months ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆14Updated 4 months ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆32Updated last year
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆20Updated last year
• ektelo / ektelo
  ☆38Updated 2 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• gavlegoat / charon
  The Charon tool for analyzing neural network robustness
  ☆13Updated 4 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• uvm-plaid / chorus
  ☆28Updated 2 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆65Updated this week
• micro-policies / micro-policies-coq
  Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
  ☆19Updated 5 years ago
• jtristan / stump-learnable
  ☆15Updated 3 years ago
• xiw / arithcc
  ☆13Updated 4 years ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆40Updated 3 years ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• apl-cornell / viaduct
  An extensible compiler for cryptography.
  ☆20Updated this week
• sdiehl / oblivious-transfer
  Oblivious transfer for multiparty computation
  ☆36Updated 4 years ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆17Updated last year
• pauls658 / ReluDiff-ICSE2020-Artifact
  Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"
  ☆10Updated 2 years ago
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆14Updated last year
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆54Updated this week
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆31Updated last week
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆47Updated 3 months ago