An older presentation on this at USENIX (2016): <a href="https://www.usenix.org/conference/osdi16/technical-sessions/presentation/gu" rel="nofollow">https://www.usenix.org/conference/osdi16/technical-sessions/...</a><p>And here's the project page (at Yale): <a href="https://flint.cs.yale.edu/certikos/" rel="nofollow">https://flint.cs.yale.edu/certikos/</a>