Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shamsul Kamal Ahmad Khalid, Jacob Zimmermann, Diane Corney, Colin J. Fidge. Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types. In Yang Xiang, Pierangela Samarati, Jiankun Hu, Wanlei Zhou, Ahmad-Reza Sadeghi, editors, Fourth International Conference on Network and System Security, NSS 2010, Melbourne, Victoria, Australia, September 1-3, 2010. pages 351-356, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Shamsul Kamal Ahmad Khalid' in GoogleThis author has not been identified. Look up 'Jacob Zimmermann' in GoogleThis author has not been identified. Look up 'Diane Corney' in GoogleThis author has not been identified. Look up 'Colin J. Fidge' in Google

runs on WebDSL