Weird machines, exploitability, and provable unexploitabilityieeexplore.ieee.org30 pointstdullien9 years ago