News for hackers. Stuff that matters.

A comment on Formal Verification of Y86-64 Processors. Parent comment

Re:Formal Verification of Y86-64 Processors by nickpsecurity on Sunday February 17, 2019 @11:46AM (#19185318)
It's happening:

https://www.seas.upenn.edu/~rrand/qpl_2017_talk.pdf

[ Parent | on HN ]

There are no comments on this comment yet.