Alternatives and similar repositories for oblivc-rust

Users that are interested in oblivc-rust are comparing it to the libraries listed below

• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆230Updated 4 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 6 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 5 years ago
• rust-lang-nursery / wg-verification
  Verification working group
  ☆104Updated 6 years ago
• Inria-Prosecco / reftls
  ☆33Updated last year
• GaloisInc / fancy-garbling
  Rust implementation of the BMR16 arithmetic garbling scheme.
  ☆34Updated 5 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆52Updated 3 months ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 years ago
• snipsco / rust-paillier
  A pure-Rust implementation of the Paillier encryption scheme
  ☆82Updated 7 years ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆39Updated this week
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• encryptogroup / UC
  Implementation of Valiant's universal circuit construction optimized for private function evaluation
  ☆42Updated 4 years ago
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• imdea-software / verifying-constant-time
  ☆37Updated 8 years ago
• Kha / electrolysis
  Simple verification of Rust programs via functional purification in Lean 2(!)
  ☆338Updated 8 years ago
• Robbepop / stevia
  A simple (unfinished) SMT solver for QF_ABV.
  ☆36Updated 6 years ago
• phayes / sidefuzz
  Fuzzer to automatically find side-channel (timing) vulnerabilities
  ☆121Updated 4 years ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆67Updated last year
• wangxiao1254 / FlexSC
  A Flexible Efficient Secure Computation Backend
  ☆33Updated 7 years ago
• samee / obliv-c
  ☆182Updated 4 years ago
• formosa-crypto / formosa-mlkem
  ☆17Updated this week
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆308Updated this week
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆245Updated last year
• 5GenCrypto / clt13
  C implementation of the CLT13 multilinear map
  ☆14Updated 6 years ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆364Updated this week
• project-everest / vale
  Verified Assembly Language for Everest
  ☆295Updated last year
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆26Updated 3 weeks ago
• GaloisInc / swanky
  A suite of rust libraries for secure multi-party computation
  ☆322Updated 3 weeks ago
• fmlab-iis / cryptoline
  ☆53Updated this week
• formosa-crypto / libjade
  Crypto library
  ☆66Updated this week