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
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆26Updated last year
• michael-emmi / ct-fuzz
  ☆10Updated 4 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• inclavare-containers / librats
  Low level attester and verifier drivers for multiple TEEs
  ☆24Updated last year
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆24Updated last year
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆36Updated 2 years ago
• secartifacts / secartifacts.github.io
  Website for Research Artifacts from the Security Community
  ☆18Updated last week
• uni-due-syssec / teerex-exploits
  PoC exploits against various SGX enclaves
  ☆14Updated 3 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated 11 months ago
• kaist-ina / SGX-Tor
  Tor anonymity network for SGX
  ☆46Updated 6 years ago
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Updated last year
• Inria-Prosecco / reftls
  ☆30Updated last year
• lmrs2 / zerostack
  Clang/LLVM patches to zero stack/registers of sensitive functions
  ☆14Updated 7 years ago
• intel / SGX-TDX-DCAP-QuoteVerificationService
  ☆11Updated 8 months ago
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆57Updated last year
• sslab-gatech / sgx101-gitbook
  Synced with SGX101 gitbook.
  ☆31Updated last year
• fmlab-iis / cryptoline
  ☆49Updated last week
• bwickman97 / ffmalloc
  ☆50Updated 2 years ago
• runtimeverification / mir-semantics
  ☆24Updated this week
• tum-i4 / indistinguishability-obfuscation
  Implementation of indistinguishability obfuscation constructions from scientific literature
  ☆48Updated 10 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆30Updated 5 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated last year
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆23Updated last year
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 3 months ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 4 months ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆55Updated last year
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 8 years ago
• awslabs / rust-smt-ir
  ☆38Updated 9 months ago