First Page | Document Content | |
---|---|---|
Date: 2017-04-03 15:56:28Computer 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 DavidAdd to Reading ListSource URL: www.ieee-security.orgDownload Document from Source WebsiteFile Size: 668,10 KBShare Document on Facebook |