hurchalla / modular_arithmeticLinks
Clockwork: A Modular Arithmetic library for C++
☆11Updated this week
Alternatives and similar repositories for modular_arithmetic
Users that are interested in modular_arithmetic are comparing it to the libraries listed below
Sorting:
- C++ STL for speed and cryptanalytic application☆11Updated 2 weeks ago
- Optimized Binary GCD for Modular Inversion☆46Updated 4 years ago
- A programming language to write bitsliced ciphers☆58Updated last year
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Updated last year
- Assembly super-optimization via constraint solving☆217Updated this week
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- Performance Evaluation of SHA-256 using SHA New Instructions.☆43Updated 3 months ago
- Basis Reduction Algorithms for Codes (LLL and more)☆27Updated last year
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆75Updated 5 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆15Updated last year
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆36Updated 2 years ago
- ☆12Updated 3 years ago
- Script generated finite field arithmetic for elliptic curve cryptography☆22Updated last week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Trying to get perfect codegen for big-integer math.☆31Updated 2 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆48Updated 6 months ago
- Structured BVA☆39Updated last year
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆31Updated 7 months ago
- AVX implementation of the Skinny block cipher☆11Updated 3 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆62Updated last year
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆20Updated 5 years ago
- Fast constant-time AES implementations on 32-bit architectures☆66Updated 11 months ago
- ☆17Updated last month
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- Constant-time choose between two variables in Clang/LLVM☆20Updated 7 years ago
- ☆16Updated 6 years ago