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},

Sections de Publications

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 874290