Logic Locking of Boolean Circuits: Provable Hardware-Based Obfuscation from a Tamper-Proof Memory.
Giovanni Di CrescenzoAbhrajit SenguptaOzgur SinanogluMuhammad YasinPublished in: SECITC (2019)
Keyphrases
- digital circuits
- chip design
- random access memory
- logic synthesis
- delay insensitive
- truth table
- floating gate
- computing power
- proof theory
- circuit design
- multi valued
- asynchronous circuits
- power dissipation
- internal memory
- natural deduction
- shift register
- logic circuits
- garbage collection
- linear logic
- computational power
- parallel hardware
- low cost
- boolean functions
- proof search
- boolean logic
- proof theoretic
- hardware and software
- cut elimination
- random number generator
- logical rules
- memory management
- defeasible logic
- reverse engineering
- high speed
- real time
- memory access
- static analysis
- data flow
- theorem proving
- memory requirements
- computer systems
- sequent calculi
- sequent calculus
- hardware implementation
- theorem prover
- concurrency control
- logic programming
- memory hierarchy
- hardware architecture
- control flow
- modal logic
- processor core
- database systems
- proof procedure
- operating system