Weird Machines, Exploitability, and Provable Unexploitability

Thomas Dullien
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

IEEE Trans. Emerg. Top. Comput. 8(2)
Pages 391-403
2020
Note(s): weird machines