Giters

mjtb49 / LattiCG

Reverses the internal seed(s) of JavaRandom given information on its output in the form of a system of inequalities on various Random calls. Works by reducing the problem to finding certain vectors in a lattice, which is then solved through a branch and bound algorithm using a reduced version of the lattice.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

mjtb49/LattiCG Stargazers