Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek. Improving Integer Security for Systems with KINT. In Chandu Thekkath, Amin Vahdat, editors, 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, October 8-10, 2012. pages 163-177, USENIX Association, 2012. [doi]
Abstract is missing.