Weird machines, exploitability, and provable unexploitability [pdf] (ieeexplore.ieee.org)

such a good and accessible paper to leave you with an intuition on exploitation and weird machines.