A Neural Network-Based Cognitive Obfuscation Toward Enhanced Logic Locking.
Rakibul HassanGaurav KolheSetareh RafatiradHouman HomayounSai Manoj Pudukotai DinakarraoPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
- modal logic
- computational properties
- logic programming
- concurrency control
- reverse engineering
- fine granularity
- asynchronous circuits
- predicate logic
- classical logic
- multi valued
- static analysis
- database
- cognitive processes
- neural network
- cognitive science
- information processing
- proof theory
- logic programs
- database systems
- artificial intelligence
- cognitive informatics
- object oriented database management systems
- cognitive architecture
- cognitive model
- automated reasoning
- data sets