Kyung-suk Lhee, Steve J. Chapin. Type-Assisted Dynamic Buffer Overflow Detection. In Dan Boneh, editor, Proceedings of the 11th USENIX Security Symposium, San Francisco, CA, USA, August 5-9, 2002. pages 81-88, USENIX, 2002. [doi]
Abstract is missing.