DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
Repositories
hellman repositories
Binary integer representation toolkit
CHES 2022 White-box Cryptography Tutorial
A small framework for defining, constructing and manipulating computational circuits
Docker container for running Claude Code with full permissions and Twilio notifications
Implements Coron's simplification of Coppersmith's algorithm
SageMath/Python Toolkit for Cryptanalytic Research
Lecture notes for a course on cryptography
CryptoBib Database for Developers
Division property cryptanalysis tools
Fix stack addresses (when no ASLR) with and without debugging
Config files for my GitHub profile.
Is SIKE broken yet?
Small script for using bash colors
Simplify format string exploitation.
Working with numbers (primes, modular, etc.)
Learning monotone Boolean functions
A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)
Optimization & Solving common API (SAT, MILP, etc.)
Generate the publication pages listing documents citing Sage