@inproceedings{GMP+3,
title = {A stack model for symbolic buffer overflow exploitability analysis (Extended Abstract) },
author = {Grieco, Gustavo and Mounier, Laurent and Potet, Marie-Laure and Rawat, Sanjay},
year = {2013},
booktitle = {5th Workshop on the Constraints in Software Testing, Verification and Analysis CSTVA 2013 (in association with ICST 2013)},
publisher = {{IEEE}},
team = {DCS, PACSS, axe_Pacs},
}
