JuliaPoo/MT19937-Symbolic-Execution-and-Solver
Python implementation of a symbolic execution of MT19937 and a solver for GF(2) matrices
Python
Stargazers
- 8U61ifeAndes Technology
- abeaumont
- ArashimuUSTB
- balgot
- Butters3388214
- cestbon0309
- clingmhangzhou dianzi university
- EarthCompassChina
- gal2xy
- HasegawaAzusa
- Inv0k3rBeFunLab
- kengwangChengdu University of Technology
- KienHoSDViet Nam
- KonanoTsinghua University
- l2yyd5HuaZhong University of Science and Technology
- Lazzzaro
- LordCasser
- lyciumlee
- LyutoonShanghaitech
- maple3142National Central University
- MechFroG88National University of Singapore
- MrAgNO3Information Engineering University
- nt1dr
- oToToT/dev/urandom
- ProfFanGeorgia Tech
- RinpoStk
- S-Ex1t
- sh1k4kuSichuan University
- tl2centsUCAS
- vpeopleonatank
- weyungSun Yat-sen University
- Xornet-Euphoria
- y01and3
- ycdxsbSGY, USTC -> VARAS@IIE, UCAS