Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting.
Jaehyung LeeWoosuk LeePublished in: CCS (2023)
Keyphrases
- program synthesis
- term rewriting
- theorem proving
- theorem prover
- operational semantics
- rewrite systems
- knuth bendix
- recursive programs
- boolean functions
- inductive logic programming
- databases
- reverse engineering
- first order logic
- inference rules
- expert systems
- constraint satisfaction problems
- logic programming
- reinforcement learning
- data mining