Defense-in-Depth: A Recipe for Logic Locking to Prevail.
M. Tanjidur RahmanM. Sazadur RahmanHuanyu WangShahin TajikWaleed KhalilFarimah FarahmandiDomenic ForteNavid AsadizanjaniMark M. TehranipoorPublished in: CoRR (2019)
Keyphrases
- depth map
- modal logic
- depth information
- concurrency control
- logic programming
- sound and complete axiomatization
- intrusion detection
- multi valued
- classical logic
- proof theory
- depth images
- set theory
- asynchronous circuits
- depth estimation
- automated reasoning
- logical framework
- nonmonotonic logics
- predicate logic
- fine granularity
- delay insensitive
- genetic algorithm