cpeikert / Lol

Related projects ⓘ

Alternatives and complementary repositories for Lol

• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆66Updated 4 years ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆320Updated this week
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆32Updated this week
• sdiehl / schnorr-nizk
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆74Updated 4 years ago
• sdiehl / pairing
  Optimised bilinear pairings over elliptic curves
  ☆55Updated 9 months ago
• AarhusCrypto / DUPLO
  A C++ implementation of the DUPLO cryptographic protocol
  ☆22Updated 7 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆48Updated 7 months ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆269Updated this week
• quarkslab / NFLlib
  NTT-based Fast Lattice library
  ☆167Updated 2 years ago
• herumi / ate-pairing
  ☆132Updated 4 years ago
• GaloisInc / fancy-garbling
  Rust implementation of the BMR16 arithmetic garbling scheme.
  ☆34Updated 4 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆33Updated 2 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆90Updated 5 years ago
• cryptobib / export
  CryptoBib BibTex files
  ☆52Updated last month
• samee / obliv-c
  ☆178Updated 3 years ago
• sdiehl / elliptic-curve
  A polymorphic interface for elliptic curve operations
  ☆41Updated last year
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆22Updated last month
• lwe-frodo / lwe-frodo
  Post-quantum key exchange from the learning with errors problem — from the paper "Frodo: Take off the ring! Practical, Quantum-Secure Key…
  ☆44Updated 7 years ago
• blynn / pbc
  The Pairing-based Crypto library
  ☆239Updated 8 months ago
• kevinlewi / fhipe
  An implementation of Function-Hiding Inner Product Encryption
  ☆43Updated 8 years ago
• encryptogroup / UC
  Implementation of Valiant's universal circuit construction optimized for private function evaluation
  ☆39Updated 3 years ago
• GaloisInc / helib-demos
  Experiments in homomorphic encryption
  ☆31Updated 9 years ago
• lducas / FHEW
  ☆222Updated 5 years ago
• KULeuven-COSIC / SCALE-MAMBA
  Repository for the SCALE-MAMBA MPC system
  ☆251Updated last year
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆173Updated 5 months ago
• bristolcrypto / SPDZ-2
  (Inactive, see readme) Multiparty computation with SPDZ, MASCOT, and Overdrive offline phases
  ☆215Updated 5 years ago
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆243Updated 9 months ago
• henrycg / prio
  Prototype implementation of Prio, a system for the private computation of aggregate statistics.
  ☆60Updated 6 years ago
• Sobuno / ZKBoo
  ☆50Updated last year
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆419Updated last week