IEEE Symposium on Security and Privacy·22 min
Security researchers examine technical aspects of Backward-bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes.
backward-boundedinfeasibilityquestion+2
1 talk tagged with this topic.
Loading filters…
1–1 of 1 talk · loading…
IEEE Symposium on Security and Privacy·22 min
Security researchers examine technical aspects of Backward-bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes.