A Stack Model for Symbolic Buffer Overflow Exploitability Analysis.

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

Browse the full ICST paper archive.