Verimag

bibtex

@inproceedings{'DBF+6',
    title = {BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis },
    author = {David, Robin and Bardin, Sebastien and Feist, Josselin and Marion, Jean-Yves and Mounier, Laurent and Potet, Marie-Laure and Ta, Thanh Dinh},
    month = {march},
    year = {2016},
    booktitle = {Proceedings of SANER 2016},
    address = {Osaka, Japan},
    pages = {(to appear)},
    team = {PACSS},
}

Publication Sections


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

info visites 819530