SCOPE: Synthesis-Based Constant Propagation Attack on Logic Locking.
Abdulrahman AlaqlMd Moshiur RahmanSwarup BhuniaPublished in: IEEE Trans. Very Large Scale Integr. Syst. (2021)
Keyphrases
- logic synthesis
- multi valued
- classical logic
- concurrency control
- logic programming
- texture synthesis
- wave propagation
- countermeasures
- defeasible logic
- digital circuits
- proof theory
- fine granularity
- data corruption
- functional programs
- malicious users
- detection mechanism
- asynchronous circuits
- deontic logic
- predicate logic
- computational properties
- secret key
- modal logic