Wordy PascalCTF 2026 Mt19937 Prng Z3 Smt-Solver Crypto Recovering MT19937 state from partial outputs using Z3 SAT solving.
Encryptor Equinor CTF 2025 Rc4 Stream-Cipher Stack-Canary Bias Crypto Pwn Leaking a stack canary using RC4 keystream bias, then ret2win.