Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services

Youngjin Kwon, Alan M. Dunn, Michael Z. Lee, Owen Hofmann, Yuanzhong Xu, and Emmett Witchel

Proceedings of the ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2016.

View BibTeX.

areas
Operating Systems, Security