cbouilla / pcgLinks
Prediction algorithms for the PCG pseudo-random generator
☆11Updated 4 years ago
Alternatives and similar repositories for pcg
Users that are interested in pcg are comparing it to the libraries listed below
Sorting:
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆30Updated 3 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- Structured BVA☆37Updated last year
- Synthesis of loop-free programs☆16Updated this week
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆71Updated 2 months ago
- An implementation of Dumer's algorithm for Information Set Decoding.☆14Updated last year
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 5 months ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Updated last year
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- CNF minimizer and minimal independent set minimizer☆19Updated this week
- Imported from svn://scm.gforge.inria.fr/svnroot/ecm/☆25Updated last year
- AVX implementation of the Skinny block cipher☆11Updated 3 years ago
- A programming language to write bitsliced ciphers☆56Updated 9 months ago
- ☆16Updated 2 years ago
- C++ STL for speed and cryptanalytic application☆10Updated 3 weeks ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated 4 months ago
- Program for finding low gate count implementations of S-boxes.☆40Updated 7 months ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- QARMA block cipher in C☆30Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆74Updated last week
- Minimal implementation of the OpenMP runtime library.☆11Updated 3 years ago
- A minimalistic and high-performance SAT solver☆28Updated 2 years ago
- E-Graph library☆14Updated last year
- ☆12Updated 5 years ago
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆15Updated last year
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated 2 years ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆30Updated last year
- fast probabilistic symmetry detection on graphs☆14Updated 3 weeks ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- ChaCha20 and Poly1305 for IETF Protocols (RFC 8439)☆18Updated 4 years ago