Back to Results
First PageMeta Content
Computer programming / Software engineering / Mathematical logic / Formal methods / Predicate logic / Opaque predicate / Computability theory / Predicate / Satisfiability modulo theories / Stack / Disassembler / FO


Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes? Sébastien Bardin Robin David
Add to Reading List

Document Date: 2017-04-03 15:56:28


Open Document

File Size: 668,10 KB

Share Result on Facebook
UPDATE