Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation.
Subhajit Dutta ChowdhuryGengyu ZhangYinghua HuPierluigi NuzzoPublished in: ISCAS (2021)
Keyphrases
- cost effectiveness
- cost effective
- low cost
- power reduction
- sat solvers
- reconfigurable architecture
- satisfiability problem
- e learning
- reverse engineering
- high speed
- general purpose
- circuit design
- static analysis
- sat problem
- search strategies
- knowledge representation
- hardware implementation
- countermeasures
- stochastic local search algorithms
- propositional satisfiability
- search algorithm
- boolean satisfiability
- data transformation
- fine grain
- power consumption
- sat encodings
- sat solving
- attack graph
- electronic circuits
- low power
- secret key