| | Muen – An x86/64 Separation Kernel for High Assurance (codelabs.ch) |
| 2 points by LiamPowell 4 months ago | past | 1 comment |
|
| | Muen SK for x86/64 – formally verified Separation Kernel (codelabs.ch) |
| 2 points by eggy on Jan 14, 2025 | past | 1 comment |
|
| | TKM – Trusted Key Manager (codelabs.ch) |
| 1 point by walterbell on Aug 21, 2016 | past |
|
| | Muen separation kernel toolchain (2014) [pdf] (codelabs.ch) |
| 1 point by vezzy-fnord on Nov 6, 2015 | past |
|
| | The Muen Separation Kernel (codelabs.ch) |
| 1 point by mrbig4545 on Sept 18, 2015 | past | 1 comment |
|
| | Muen: formally checked OS kernel (codelabs.ch) |
| 2 points by sanxiyn on Dec 10, 2013 | past |
|
