cryptoProhard

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_plaintextstream_cipherlfsrsat_solver
known_plaintext_attacklfsr_polynomial_recoveryz3_constraint_solving
🔒

Permission denied (requires tier.pro)

Sign in to access full writeups

Sign in with GitHub to continue. No email required.

$sign in

$ grep --similar

Similar writeups