Weird machines, exploitability, and provable unexploitability

Posted by tdullien on Thursday December 21, 2017 @05:31AM
from the ieeexplore.ieee.org dept.

http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8226852

( 4 comments | 30 points | on HN )

Re:Weird machines, exploitability, and provable unexploitabi... by seceng on Sunday December 24, 2017 @07:23PM (#16001997)

Some good discussion of Thomas' paper on the ReverseEngineering subreddit: https://www.reddit.com/r/ReverseEngineering/comments/7lc8p2/...

[ Parent | on HN ]

Re:Weird machines, exploitability, and provable unexploitabi... by nerdponx on Sunday December 24, 2017 @04:47PM (#16001455)

I 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.

[ Parent | on HN ]

Re:Weird machines, exploitability, and provable unexploitabi... by DyslexicAtheist on Sunday December 24, 2017 @09:05PM (#16002251)

a link to Poc||GTFO

[ Parent | on HN ]

Re:Weird machines, exploitability, and provable unexploitabi... by cdancette on Sunday December 24, 2017 @06:45PM (#16001874)

Pdf

[ Parent | on HN ]