| | 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
|
|
