Haibin Shen, Jimin Wang, Lingdi Ping, Kang Sun. Securing C Programs by Dynamic Type Checking. In Kefei Chen, Robert H. Deng, Xuejia Lai, Jianying Zhou, editors, Information Security Practice and Experience, Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006, Proceedings. Volume 3903 of Lecture Notes in Computer Science, pages 343-354, Springer, 2006. [doi]
Abstract is missing.