Verimag

bibtex

@inproceedings{GMP+13,
    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},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 775714