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]
@inproceedings{WangCJZK12,
title = {Improving Integer Security for Systems with KINT},
author = {Xi Wang and Haogang Chen and Zhihao Jia and Nickolai Zeldovich and M. Frans Kaashoek},
year = {2012},
url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/wang},
researchr = {https://researchr.org/publication/WangCJZK12},
cites = {0},
citedby = {0},
pages = {163-177},
booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, October 8-10, 2012},
editor = {Chandu Thekkath and Amin Vahdat},
publisher = {USENIX Association},
isbn = {978-1-931971-96-6},
}