Wordy PascalCTF 2026 Mt19937 Prng Z3 Smt-Solver Crypto Recovering MT19937 state from partial outputs using Z3 SAT solving.
Ruid_login Scarlet CTF 2026 Buffer-Overflow Shellcode Function-Pointer Prng Pwn Exploiting predictable RUIDs, buffer overflow, and executable stack for shellcode execution.