An older presentation on this at USENIX (2016): https://www.usenix.org/conference/osdi16/technical-sessions/presentation/gu https://www.usenix.org/conference/os

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