Weird machines, exploitability, and provable unexploitability [pdf]ieeexplore.ieee.org55 pointsfanf28 years ago