Hacker News new | past | comments | ask | show | jobs | submit | from login

Muen – An x86/64 Separation Kernel for High Assurance (muen.sk) 3 points by hazbo on Sept 22, 2019 | past Muen: An X86/64 Separation Kernel for High Assurance (muen.sk) 68 points by ingve on June 2, 2017 | past | 18 comments The Muen Separation Kernel (muen.sk) 72 points by englishm on Aug 31, 2015 | past | 21 comments The Muen Separation Kernel (formally verified correct microkernel) (muen.sk) 2 points by api on April 28, 2014 | past Muen Kernel: Trustworthy by Design – Correct By Construction (muen.sk) 74 points by jervisfm on April 27, 2014 | past | 14 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: