...Like PRNGS to Heaven - bi0sCTF 2025 AeroSol 2025-06-13 Crypto tl;dr ECDSA signing server with biased nonce Exploitation by modelling a EHNP instance and using z3 Solver for breaking Mersenne Twister Read More bi0sCTF PRNG Prediction ecdsa Lattice EHNP z3