A stack model for symbolic buffer overflow exploitability analysis (Extended Abstract)

Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Original language	English
Title of host publication	5th Workshop on the Constraints in Software Testing, Verification and Analysis CSTVA 2013 (in association with ICST 2013)
Publication status	Published - 2013

Handle.net

@inproceedings{ae55147823af4ca2beb8311386d28780,

title = "A stack model for symbolic buffer overflow exploitability analysis (Extended Abstract)",

author = "Gustavo Grieco and Laurent Mounier and Marie-Laure Potet and Sanjay Rawat",

year = "2013",

language = "English",

booktitle = "5th Workshop on the Constraints in Software Testing, Verification and Analysis CSTVA 2013 (in association with ICST 2013)",

}

A stack model for symbolic buffer overflow exploitability analysis (Extended Abstract). / Grieco, Gustavo; Mounier, Laurent; Potet, Marie-Laure et al.
5th Workshop on the Constraints in Software Testing, Verification and Analysis CSTVA 2013 (in association with ICST 2013). 2013.

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

TY - GEN

T1 - A stack model for symbolic buffer overflow exploitability analysis (Extended Abstract)

AU - Grieco, Gustavo

AU - Mounier, Laurent

AU - Potet, Marie-Laure

AU - Rawat, Sanjay

PY - 2013

Y1 - 2013

M3 - Conference Contribution (Conference Proceeding)

BT - 5th Workshop on the Constraints in Software Testing, Verification and Analysis CSTVA 2013 (in association with ICST 2013)

ER -