Weird Machines, Exploitability, and Provable Unexploitability

Thomas Dullien. Weird Machines, Exploitability, and Provable Unexploitability. IEEE Trans. Emerging Topics Comput., 8(2):391-403, 2020. [doi]

Abstract

Abstract is missing.