Kapil Anand, Khaled Elwazeer, Aparna Kotha, Matthew Smithson, Rajeev Barua, Angelos D. Keromytis
An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables
ICSME, 2013.
@inproceedings{ICSM-2013-AnandEKSBK,
author = "Kapil Anand and Khaled Elwazeer and Aparna Kotha and Matthew Smithson and Rajeev Barua and Angelos D. Keromytis",
booktitle = "{Proceedings of the 29th International Conference on Software Maintenance}",
doi = "10.1109/ICSM.2013.20",
pages = "90--99",
publisher = "{IEEE}",
title = "{An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables}",
year = 2013,
}











