I ieeexplore.ieee.org Weird machines, exploitability, and provable unexploitability [pdf] 55 points fanf2 8 years ago 2 comments