TTLock: Tenacious and traceless logic locking.
Muhammad YasinBodhisatwa MazumdarJeyavijayan (JV) RajendranOzgur SinanogluPublished in: HOST (2017)
Keyphrases
- logic programming
- modal logic
- asynchronous circuits
- database systems
- concurrency control
- classical logic
- probabilistic logic
- epistemic logic
- digital circuits
- sound and complete axiomatization
- database
- proof theory
- fine granularity
- formal theory
- predicate logic
- set theory
- defeasible logic
- multi valued
- expert systems
- case study
- data sets