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.
python security machine-learning cryptography cryptanalysis cipher reverse-engineering pytorch sat-solver cryptominisat keeloq differential-cryptanalysis gohr neural-cryptanalysis
-
Updated
Apr 23, 2026 - Python