bibtex

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


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

info visites 4190132