Alternatives and similar repositories for mife

Users that are interested in mife are comparing it to the libraries listed below

• kevinlewi / fhipe
  An implementation of Function-Hiding Inner Product Encryption
  ☆45Updated 9 years ago
• GaloisInc / ocelot
  Oblivious transfer library for rust
  ☆11Updated 5 years ago
• formosa-crypto / libjade
  Crypto library
  ☆62Updated last month
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆38Updated last week
• encryptogroup / UC
  Implementation of Valiant's universal circuit construction optimized for private function evaluation
  ☆42Updated 4 years ago
• 5GenCrypto / clt13
  C implementation of the CLT13 multilinear map
  ☆14Updated 6 years ago
• isec-tugraz / Picnic
  Optimized implementation of the Picnic signature scheme
  ☆81Updated 2 years ago
• GaloisInc / fancy-garbling
  Rust implementation of the BMR16 arithmetic garbling scheme.
  ☆34Updated 5 years ago
• fentec-project / CiFEr
  Functional encryption library in C
  ☆87Updated 4 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆32Updated 3 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 5 years ago
• safecrypto / libsafecrypto
  WP6 of the SAFEcrypto project - a suite of lattice-based cryptographic schemes
  ☆38Updated 2 years ago
• oblivm / ObliVMGC
  The garbled circuit backend for the ObliVM framework
  ☆17Updated 9 years ago
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• geovandro / post-quantum-crypto
  Slides from talks and other materials related to post-quantum crypto
  ☆12Updated 4 years ago
• LowMC / lowmc
  An implementation of the LowMC block cipher family.
  ☆27Updated 7 years ago
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆55Updated 11 months ago
• malb / oxford-lattice-school-lessons
  ☆20Updated 6 years ago
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• GaloisInc / helib-demos
  Experiments in homomorphic encryption
  ☆31Updated 10 years ago
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆71Updated 2 years ago
• JJChiDguez / sibc
  Supersingular Isogeny-Based Cryptography constructions (python-code library)
  ☆51Updated 3 years ago
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆66Updated 6 years ago
• cryptobib / db
  CryptoBib Database for Developers
  ☆45Updated this week
• GaloisInc / scuttlebutt
  Multi-party computation utilities toolkit for rust
  ☆16Updated 5 years ago
• herumi / ate-pairing
  ☆135Updated 5 years ago
• kevinlewi / fastore
  An Implementation of Order-Revealing Encryption
  ☆99Updated 5 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated last week
• sdiehl / oblivious-transfer
  Oblivious transfer for multiparty computation
  ☆37Updated 5 years ago
• claucece / post-quantumers
  ☆18Updated 4 years ago