A Verified, Efficient Embedding of a Verifiable Assembly Language [pdf]

Article URL: https://www.microsoft.com/en-us/research/uploads/prod/2018/12/popl19-vale.pdf

Comments URL: https://news.ycombinator.com/item?id=18948889

Points: 54

# Comments: 2

from Hacker News: Front Page http://bit.ly/2R18iWK
via