cryptohard
Mental flow
duckerz
Task: LFSR stream cipher with unknown polynomial, known seed and flag prefix. Solution: Known plaintext attack to recover keystream, then Z3 SAT solver to find tap positions.
$ ls tags/ techniques/
known_plaintext_attacklfsr_polynomial_recoveryz3_constraint_solving
🔒
Permission denied (requires tier.pro)
Sign in to access full writeups
Create a free account with GitHub, then upgrade to Pro.
$ssh [email protected]