[erichocean]

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

And here's the project page (at Yale): https://flint.cs.yale.edu/certikos/