veorq / crackpotsLinks
List of crackpot 'scientists' and 'thinkers'
☆19Updated 3 weeks ago
Alternatives and similar repositories for crackpots
Users that are interested in crackpots are comparing it to the libraries listed below
Sorting:
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆13Updated 2 years ago
- Differential fuzzing for elliptic curves☆23Updated last year
- BAT KEM/Signature Reference Implementation☆22Updated 3 years ago
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- Auditing Applied Cryptography☆10Updated 5 years ago
- Models for authenticated key exchange in Tamarin☆11Updated 5 years ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆32Updated 2 weeks ago
- Tools for power measurements of post-quantum cryptographic algorithms☆28Updated 5 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆12Updated 3 weeks ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆62Updated 2 years ago
- Verifying constant-time code with symbolic execution☆44Updated 3 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated 9 months ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Updated 4 years ago
- library providing OPRF and Threshold OPRF based on libsodium☆23Updated 3 weeks ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- Optimized Binary GCD for Modular Inversion☆44Updated 4 years ago
- Results of a recent FOIA for NIST documents related to the design of Dual EC DRBG. Via EFF and Rep. Grayson's office. See README for deta…☆24Updated 10 years ago
- Banquet implementation☆13Updated 3 years ago
- Formal Analysis of the PQXDH Protocol☆25Updated last year
- ☆18Updated last year
- ☆16Updated last week
- Stronger and Faster Side-Channel Protections for CSIDH☆19Updated 4 years ago
- Elliptic curves Rust reference implementation☆16Updated last year
- Clang/LLVM patches to zero stack/registers of sensitive functions☆14Updated 7 years ago
- ☆20Updated 5 years ago
- ☆81Updated 5 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆16Updated 3 months ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆16Updated 2 years ago
- ☆12Updated 5 years ago