TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks.
Yuke ZhangYinghua HuPierluigi NuzzoPeter A. BeerelPublished in: DATE (2022)
Keyphrases
- sat encodings
- sat solvers
- protection mechanisms
- countermeasures
- information security
- integrated circuit
- biometric template
- orders of magnitude
- protection schemes
- malicious attacks
- security risks
- security threats
- digital watermarking
- privacy protection
- malicious users
- protection scheme
- watermarking scheme
- propositional satisfiability
- denial of service attacks
- security protocols
- watermarking algorithm
- search strategies