![](/img/cover-not-exists.png)
[IEEE 2017 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2017.5.22-2017.5.26)] 2017 IEEE Symposium on Security and Privacy (SP) - Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes
Bardin, Sebastien, David, Robin, Marion, Jean-YvesYear:
2017
Language:
english
DOI:
10.1109/SP.2017.36
File:
PDF, 578 KB
english, 2017