cryptomedium
UofT LFSR Labyrinth
uoftctf2026
Task: LFSR with WG-style nonlinear filter, 80 bits keystream output, encrypted flag. Solution: SAT-based attack using Tseitin transformation to encode the filter as CNF, recovering the 48-bit initial state from the overdetermined system.
$ ls tags/ techniques/
sat_cryptanalysistseitin_transformationlfsr_state_recovery
🔒
Permission denied (requires tier.pro)
Sign in to access full writeups
Create a free account with GitHub, then upgrade to Pro.
$ssh [email protected]