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