Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes

Article Details
Title:	Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes
Article URLs:	https://doi.org/10.1109/SP.2017.36 http://doi.ieeecomputersociety.org/10.1109/SP.2017.36
Alternative Article URLs:
Authors:	Sébastien Bardin	CEA, LIST
	Robin David	CEA, LIST
	Jean-Yves Marion	Université de Lorraine CNRS INRIA LORIA
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://binsec.gforge.inria.fr/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sp/BardinDM17
Author Comments:

IEEE Security and Privacy, S&P 2017