@inproceedings{wang2012improving,
   title = {Improving integer security for systems with KINT},
   author = {Wang, Xi and Chen, Haogang and Jia, Zhihao and Zeldovich, Nickolai and Kaashoek, M Frans},
   booktitle = {Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation},
   pages = {163--177},
   year = {2012},
   organization = {USENIX Association} }