14 projects
binteger
Binary integer representation toolkit
optimodel
Tools for generating ~shortest MILP and SAT models
monolearn
Learning monotone Boolean functions
optisolveapi
Optimization & Solving common API (SAT, MILP, etc.)
wboxkit
White-box Design & Cryptanalyis Kit
subsets
Tools for cryptanalysis (binary/box subsets & transforms)
xortool
A tool to analyze multi-byte xor cipher
cry
Cry: SageMath/Python Toolkit for Cryptanalytic Research
divprop
Tools for cryptanalysis (division property)
hackycpp
HackyCPP (loop macros and etc. for surviving C++)
justlogs
Wrapper over coloredlogs with a particular default config
sock
Small script to simplify network communication
libnum
Working with numbers (primes, modular, etc.)
libformatstr
Create payloads for format string exploits