%0 Conference Paper %1 conf/wcre/DavidBTMFPM16 %A David, Robin %A Bardin, Sébastien %A Ta, Thanh Dinh %A Mounier, Laurent %A Feist, Josselin %A Potet, Marie-Laure %A Marion, Jean-Yves %B SANER %D 2016 %I IEEE Computer Society %K dblp %P 653-656 %T BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis. %U http://dblp.uni-trier.de/db/conf/wcre/saner2016.html#DavidBTMFPM16 %@ 978-1-5090-1855-0

@inproceedings{conf/wcre/DavidBTMFPM16, added-at = {2016-06-09T00:00:00.000+0200}, author = {David, Robin and Bardin, Sébastien and Ta, Thanh Dinh and Mounier, Laurent and Feist, Josselin and Potet, Marie-Laure and Marion, Jean-Yves}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f906878a267f8627d67b4c55e8189d1a/dblp}, booktitle = {SANER}, crossref = {conf/wcre/2016}, ee = {http://doi.ieeecomputersociety.org/10.1109/SANER.2016.43}, interhash = {ffd2ab267f0a697c3f56a65f5645c36a}, intrahash = {f906878a267f8627d67b4c55e8189d1a}, isbn = {978-1-5090-1855-0}, keywords = {dblp}, pages = {653-656}, publisher = {IEEE Computer Society}, timestamp = {2016-06-18T09:33:02.000+0200}, title = {BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis.}, url = {http://dblp.uni-trier.de/db/conf/wcre/saner2016.html#DavidBTMFPM16}, year = 2016 }