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]
@inproceedings{KhalidZCF10,
title = {Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types},
author = {Shamsul Kamal Ahmad Khalid and Jacob Zimmermann and Diane Corney and Colin J. Fidge},
year = {2010},
doi = {10.1109/NSS.2010.63},
url = {http://dx.doi.org/10.1109/NSS.2010.63},
tags = {C++, security},
researchr = {https://researchr.org/publication/KhalidZCF10},
cites = {0},
citedby = {0},
pages = {351-356},
booktitle = {Fourth International Conference on Network and System Security, NSS 2010, Melbourne, Victoria, Australia, September 1-3, 2010},
editor = {Yang Xiang and Pierangela Samarati and Jiankun Hu and Wanlei Zhou and Ahmad-Reza Sadeghi},
publisher = {IEEE Computer Society},
isbn = {978-1-4244-8484-3},
}