3 ms·
Weird machines, exploitability, and provable unexploitability
- nerdponx 9y agoI love this kind of unifying formalism, but I wish they at least gave some intuition for what a weird machine is. I appreciate that it takes a lot of buildup to define them formally, but it would have been nice to have a plain-English explanation somewhere in the introduction.
- deleted 9y ago[deleted]
- DyslexicAtheist 9y agoa link to Poc||GTFO
- cdancette 9y agoPdf
- seceng 9y agoSome good discussion of Thomas' paper on the ReverseEngineering subreddit: https://www.reddit.com/r/ReverseEngineering/comments/7lc8p2/weird_machines_exploitability_and_provable/ https://www.reddit.com/r/ReverseEngineering/comments/7lc8p2/...