Alternatives and similar repositories for XORSATFilter

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

• 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
  ☆27Updated 3 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 4 years ago
• NationalSecurityAgency / PACE
  Proactively-secure Accumulo with Cryptographic Enforcement (PACE) adds client-side encryption and signatures to Accumulo.
  ☆14Updated last year
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• NationalSecurityAgency / pelz
  ☆32Updated last year
• facebookincubator / haberdashery
  A collection of high-performance crypto implementations.
  ☆51Updated 3 weeks 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…
  ☆91Updated last week
• post-quantum / ietf-pq-ikev2
  ☆9Updated 2 years ago
• microsoft / PQCrypto-SIKE
  This software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.
  ☆61Updated 2 years ago
• teserakt-io / pqgo
  cgo wrappers around post-quantum cryptography primitives
  ☆23Updated 6 years ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆28Updated 7 years ago
• NationalSecurityAgency / fractalrabbit
  Simulate realistic trajectory data seen through sporadic reporting
  ☆155Updated 2 months 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
• GaloisInc / pirate
  Main repository for the Galois/Two Six Pirate Project for DARPA GAPS
  ☆4Updated 4 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 3 years ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆41Updated 8 months ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 7 months 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
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆29Updated 4 months ago
• NationalSecurityAgency / kmyth
  ☆94Updated 5 months ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• google / tmppy
  TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.
  ☆35Updated 3 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆51Updated last week
• InstLatx64 / AVX512_PopCnt
  AVX512 population count routines
  ☆22Updated 5 years ago
• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 3 years ago