cbouilla / pcg
Prediction algorithms for the PCG pseudo-random generator
☆9Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for pcg
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆26Updated 2 months ago
- A programming language to write bitsliced ciphers☆56Updated 2 months ago
- AVX implementation of the Skinny block cipher☆11Updated 2 years ago
- Imported from svn://scm.gforge.inria.fr/svnroot/ecm/☆21Updated 10 months ago
- Some experiments with SMT solvers and GIMPLE IR☆66Updated this week
- A minimalistic and high-performance SAT solver☆26Updated last year
- An implementation of Dumer's algorithm for Information Set Decoding.☆12Updated 9 months ago
- M4GB: Efficient Groebner Basis algorithm☆53Updated 5 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆40Updated 11 months ago
- Structured BVA☆30Updated 6 months ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆78Updated 2 years ago
- Fast constant-time AES implementations on 32-bit architectures☆61Updated 3 weeks ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 3 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆67Updated 2 weeks ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆16Updated last year
- C++ truth table library☆50Updated 7 months ago
- Minimal implementation of the OpenMP runtime library.☆11Updated 2 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆43Updated 3 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
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆13Updated 11 months ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆33Updated last year
- Implementation of the fastest ISD algorithms☆18Updated this week
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆51Updated 9 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- x86-64, ARM, and RVV intrinsics viewer☆32Updated 2 weeks ago
- A bitsliced implementation of ECB and CTR AES☆46Updated 3 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 2 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 6 months ago