Reverse engineered xorshift128+ to calculate seed from 3 sequential generated values using Z3 SMT solver. For hackMIT final puzzle 2016
steven200796 / xorshift128plus_exploit Goto Github PK
View Code? Open in Web Editor NEWReverse engineered xorshift128+ to calculate seed from 3 sequential generated values using Z3 SMT solver. For hackMIT final puzzle 2016