Expanding In-Cone Obfuscated Tree for Anti SAT Attack.
RuiJie WangLi-Nung HsuYung-Chih ChenTingTing HwangPublished in: DATE (2023)
Keyphrases
- tree structure
- satisfiability problem
- sat solvers
- reverse engineering
- index structure
- search algorithm
- hierarchical structure
- tree nodes
- countermeasures
- tree structures
- boolean satisfiability
- stochastic local search algorithms
- variable ordering
- dos attacks
- stochastic local search
- phase transition
- r tree
- software engineering