New top story on Hacker News: A Verified, Efficient Embedding of a Verifiable Assembly Language [pdf] Posted By: Rushan Skywalker 12:02 AM Leave a Reply A Verified, Efficient Embedding of a Verifiable Assembly Language [pdf] 54 by pjmlp | 2 comments on Hacker News. Tweet Share Share Share Share
0 comments: