Alternatives and similar repositories for everquic-crypto

Users that are interested in everquic-crypto are comparing it to the libraries listed below

• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆27Updated last year
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• Inria-Prosecco / reftls
  ☆33Updated last year
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• tum-i4 / indistinguishability-obfuscation
  Implementation of indistinguishability obfuscation constructions from scientific literature
  ☆49Updated 10 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆104Updated 2 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• fmlab-iis / cryptoline
  ☆50Updated this week
• bwickman97 / ffmalloc
  ☆51Updated 3 years ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆74Updated 2 weeks ago
• kaist-ina / SGX-Tor
  Tor anonymity network for SGX
  ☆46Updated 6 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 2 weeks ago
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated last year
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 5 months ago
• tracer-x / TracerX-examples
  Examples for TracerX KLEE
  ☆9Updated 5 years ago
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆57Updated last year
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆37Updated 2 years ago
• lducas / BDD-note
  ☆12Updated 3 years ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆36Updated this week
• uni-due-syssec / teerex-exploits
  PoC exploits against various SGX enclaves
  ☆14Updated 3 years ago
• pluohust / ConFuzz
  ☆12Updated 7 years ago
• secure-foundations / veri-titan
  Verifying OpenTitan
  ☆26Updated last year
• armfazh / flo-shani-aesni
  Performance Evaluation of SHA-256 using SHA New Instructions.
  ☆43Updated last month
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• Practical-Formal-Methods / bran
  Static analysis framework for EVM bytecode
  ☆30Updated 5 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated last year
• agroce / afl-compiler-fuzzer
  Variation of american fuzzy lop for testing compilers
  ☆123Updated 3 years ago
• lmrs2 / zerostack
  Clang/LLVM patches to zero stack/registers of sensitive functions
  ☆14Updated 7 years ago