Ideas & society2017 · shared on Hacker News
High-Assurance Separation Kernels: A Survey on Formal Methods (2017)
Explore High-Assurance Separation Kernels: A Survey on Formal Methods (2017), its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ydoener ·
Genode OS: A tool kit for highly secure special-purpose operating systems
205 points31 comments
Yicc97 ·
Formally Verified Software in the Real World (2018)
186 points17 comments
Yingve ·
Muen: An X86/64 Separation Kernel for High Assurance
68 points18 comments
Ydoener ·
High-Assurance Separation Kernels: A Survey on Formal Methods (2017)
23 points0 comments