Defense-in-depth: A recipe for logic locking to prevail.
M. Tanjidur RahmanM. Sazadur RahmanHuanyu WangShahin TajikWaleed KhalilFarimah FarahmandiDomenic ForteNavid AsadizanjaniMark M. TehranipoorPublished in: Integr. (2020)
Keyphrases
- modal logic
- predicate logic
- classical logic
- network security
- depth information
- databases
- asynchronous circuits
- logic programming
- concurrency control
- neural network
- multi valued
- depth map
- database systems
- fine grained
- intrusion detection
- logical framework
- multi view
- digital circuits
- input image
- formal theory
- deontic logic
- delay insensitive