MT19937 Symbolic Execution and Solver
Python implementation of a symbolic execution of MT19937 and a solver for GF(2) matrices
📅 10 Jul 2020 - JuliaPoo ^-^
🏷️ Tags:
#python
#cryptography
#mt19937
#ctf-tools
