Verified seL4 on secure RISC-V processors

Article URL: https://ts.data61.csiro.au/publications/csiroabstracts/Heiser_20.abstract.pml

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

Points: 8

# Comments: 1

from Hacker News: Front Page https://ift.tt/3jw5hNP
via