JANUS-HD: Exploiting FSM Sequentiality and Synthesis Flexibility in Logic Obfuscation to Thwart SAT Attack While Offering Strong Corruption.
Leon LiAlex OrailogluPublished in: DATE (2022)
Keyphrases
- logic synthesis
- data corruption
- classical logic
- sat solvers
- reverse engineering
- satisfiability problem
- search algorithm
- multi valued
- sat problem
- finite state machines
- logic programming
- functional programs
- modal logic
- static analysis
- program synthesis
- stochastic local search algorithms
- answer set programming
- texture synthesis
- countermeasures
- automated reasoning
- np complete
- logic programs
- data transformation
- software engineering
- real time