Alternatives and similar repositories for XORSATFilter:

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

• NationalSecurityAgency / PACE
  Proactively-secure Accumulo with Cryptographic Enforcement (PACE) adds client-side encryption and signatures to Accumulo.
  ☆14Updated last year
• nsacyber / simon-speck-supercop
  Fast implementations of the SIMON and SPECK lightweight block ciphers for the SUPERCOP benchmark toolkit. #nsacyber
  ☆46Updated 6 years ago
• NationalSecurityAgency / call-stack-profiler
  SkillTree
  ☆26Updated 2 years ago
• NationalSecurityAgency / pelz
  ☆32Updated 8 months ago
• NationalSecurityAgency / emissary
  Distributed P2P Data-driven Workflow Framework
  ☆250Updated this week
• NationalSecurityAgency / fractalrabbit
  Simulate realistic trajectory data seen through sporadic reporting
  ☆149Updated 9 months ago
• NationalSecurityAgency / kmyth
  ☆92Updated 2 months ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆88Updated 2 months ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 4 years ago
• google-research / raksha
  ☆35Updated this week
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆44Updated this week
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• awslabs / LibMLKEM
  ☆18Updated 3 weeks ago
• microsoft / vOW4SIKE
  The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algori…
  ☆12Updated 3 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 8 years ago
• teserakt-io / pqgo
  cgo wrappers around post-quantum cryptography primitives
  ☆23Updated 6 years ago
• post-quantum / ietf-pq-ikev2
  ☆9Updated 2 years ago
• NationalSecurityAgency / accumulo-python3
  Build Python 3 applications that integrate with Apache Accumulo
  ☆30Updated last year
• microsoft / PQCrypto-SIKE
  This software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.
  ☆59Updated 2 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆36Updated 2 years ago
• Z3Prover / FirewallChecker
  A self-contained firewall checker
  ☆104Updated 3 years ago
• NationalSecurityAgency / qonduit
  A WebSocket library for use with Apache Accumulo
  ☆60Updated 4 months ago
• GaloisInc / pirate
  Main repository for the Galois/Two Six Pirate Project for DARPA GAPS
  ☆4Updated 3 years ago
• jedisct1 / simpira384
  An AES-based 384 bit permutation.
  ☆18Updated 5 years ago
• armfazh / rfc7748_precomputed
  Updated! (Dec2-2019) This is a C-language software library that provides optimized implementations of the Diffie-Hellman functions known …
  ☆44Updated last year
• femto-dev / femto
  Sequence Indexing and Search
  ☆106Updated last month
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆58Updated 7 months ago
• nsacyber / paccor
  The Platform Attribute Certificate Creator can gather component details, create, sign, and validate the TCG-defined Platform Credential. …
  ☆60Updated this week
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆37Updated last month