Robert Johnson, David Wagner. Finding User/Kernel Pointer Bugs with Type Inference. In Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA. pages 119-134, USENIX, 2004. [doi]
@inproceedings{JohnsonW04:1,
title = {Finding User/Kernel Pointer Bugs with Type Inference},
author = {Robert Johnson and David Wagner},
year = {2004},
url = {http://www.usenix.org/publications/library/proceedings/sec04/tech/johnson.html},
tags = {type inference},
researchr = {https://researchr.org/publication/JohnsonW04%3A1},
cites = {0},
citedby = {0},
pages = {119-134},
booktitle = {Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA},
publisher = {USENIX},
}