Login / Signup
LOOPLock 2.0: An Enhanced Cyclic Logic Locking Approach.
Xiang-Min Yang
Pei-Pei Chen
Hsiao-Yu Chiang
Chia-Chun Lin
Yung-Chih Chen
Chun-Yao Wang
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
</>
logic programming
classical logic
automated reasoning
defeasible logic
modal logic
multi valued
fixed point semantics
propositional dynamic logic
predicate logic
concurrency control
data mining
neural network
computational properties
fine granularity
dynamic logic
proof theory
databases
real time