"Kryptos is a sculpture located on the grounds of CIA Headquarters in Langley, Virginia. Installed in 1990, its thousands of characters contain encrypted messages, of which three have been solved (so far). There is still a fourth section at the bottom consisting of 97 or 98 characters which...
In my first attempt you’ll see that I’m not using the IL for this, but that’s trivially solved in the final solution. String Extraction - Attempt One My first attempt at writing this didn’t go very well… Binary Ninja implements multiple different ILs at varying levels of readability ...
But here’s the catch: relatively few understand that Kryptos was meticulously crafted to be impossible to reverse engineer. If it were feasible, K4 would have been solved by now. So, why hasn’t it? Jim Sanborn is an exceptionally clever individual, and he had another exceptionally brilliant...
But running BKZ-20 on such a high dimension is going to be very expensive, so it might be a better choice to switch to LLL and increase d to, say, 600, in which case we have 1.021l+dql/(l+d)≈2129.22, which is tight, but within range of being solved. The following graph plots...