A Resource Binding Approach to Logic Obfuscation.
Michael ZuzakYuntao LiuAnkur SrivastavaPublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- resource allocation
- resource management
- logic programming
- reverse engineering
- data sets
- defeasible logic
- delay insensitive
- case study
- modal logic
- automated reasoning
- predicate logic
- static analysis
- proof theory
- formal theory
- malware detection
- computational properties
- classical logic
- control flow
- web resources
- information resources
- logic programs
- data mining