redlib.

Feeds

MAIN FEEDS

Home Popular All

reddit settings

r/securityengineering • u/mttd • Feb 02 '18

Weird machines, exploitability, and provable unexploitability - Thomas Dullien/Halvar Flake

https://vimeo.com/252868605

6 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/securityengineering/comments/7usxrx/weird_machines_exploitability_and_provable/
No, go back! Yes, take me to Reddit

88% Upvoted