NationalSecurityAgency / XORSATFilter
A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
☆33Updated 2 years ago
Alternatives and similar repositories for XORSATFilter:
Users that are interested in XORSATFilter are comparing it to the libraries listed below
- Proactively-secure Accumulo with Cryptographic Enforcement (PACE) adds client-side encryption and signatures to Accumulo.☆14Updated last year
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- Isabelle LLVM Code Generator and Refinement☆27Updated last month
- Simulate realistic trajectory data seen through sporadic reporting☆155Updated 2 months ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 8 months ago
- ☆32Updated 11 months ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 7 months ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- Coq library for verified low-level programming☆58Updated 7 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- 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 month
- Documentation☆42Updated last month
- Galois Format Analysis Workbench☆21Updated last year
- Open source binary analysis tools.☆221Updated last week
- A model checker for infinite-state systems.☆74Updated 4 months ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 9 years ago
- Circuits for functions of interest to cryptography☆27Updated last year
- LibPoly is a C library for manipulating polynomials☆51Updated 4 months ago
- measure entropy of memory allocators☆12Updated 3 years ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆40Updated 4 months ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆27Updated 4 months ago
- Static Analyzer and Verifier☆47Updated 6 months ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- Build Python 3 applications that integrate with Apache Accumulo☆32Updated last year
- Updated! (Dec2-2019) This is a C-language software library that provides optimized implementations of the Diffie-Hellman functions known …☆44Updated last year
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- DARPA CASE program☆13Updated 2 years ago
- The Platform Attribute Certificate Creator can gather component details, create, sign, and validate the TCG-defined Platform Credential. …☆62Updated last week
- cgo wrappers around post-quantum cryptography primitives☆23Updated 6 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago