keeloq-python

Project status: Unknown

Algebraic + neural differential cryptanalysis of reduced-round KeeLoq (2026 modernization of a 2015 SAT-only effort). Full 64-bit key recovery in <1s at 64 rounds via XOR-aware CryptoMiniSat; Gohr-style PyTorch ResNet distinguisher hybrid on CUDA.

Target software or hardware
KeeLoq
Work type
Reverse engineering and documentation
Primary public repository
github.com/cahlen/keeloq-python
—GitHub stars

Projects are sorted by the latest recorded repository star count. Stars indicate interest, not completion. Missing counts remain unknown.

About and scope

Algebraic + neural differential cryptanalysis of reduced-round KeeLoq (2026 modernization of a 2015 SAT-only effort). Full 64-bit key recovery in <1s at 64 rounds via XOR-aware CryptoMiniSat; Gohr-style PyTorch ResNet distinguisher hybrid on CUDA.

Contribution availability

Contribution policy unknown

AI-assisted contribution policy
Unspecified

Documented contributor systems

Contributor setup not documented

Reported progress

Progress not reported

Sources, builds and releases