@inproceedings{DBF+6b,
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, axe_Pacs},
}
