Transforming between logic locking and IC camouflaging.
Muhammad YasinOzgur SinanogluPublished in: IDT (2015)
Keyphrases
- logic programming
- predicate logic
- multi valued
- classical logic
- modal logic
- integrated circuit
- concurrency control
- automated reasoning
- probability theory
- proof theory
- fine granularity
- asynchronous circuits
- computational properties
- logical framework
- data sets
- database management systems
- database systems
- genetic algorithm
- data mining