ScanCamouflage: Obfuscating Scan Chains with Camouflaged Sequential and Logic Gates.
Tarik IbrahimpasicGrace Li ZhangMichaela BrunnerGeorg SiglBing LiUlf SchlichtmannPublished in: DATE (2024)
Keyphrases
- logic circuits
- classical logic
- logic programming
- modal logic
- predicate logic
- computational properties
- machine learning
- truth values
- automated reasoning
- multi valued
- proof theory
- database
- sequential search
- dynamic logic
- digital circuits
- set theory
- logical framework
- inference rules
- low power
- expressive power
- low cost
- image sequences
- artificial intelligence
- databases