TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks.
Yuke ZhangYinghua HuPierluigi NuzzoPeter A. BeerelPublished in: CoRR (2022)
Keyphrases
- countermeasures
- information security
- protection mechanisms
- sat solvers
- integrated circuit
- satisfiability problem
- computer security
- biometric template
- privacy protection
- sat solving
- sat problem
- search algorithm
- security mechanisms
- phase transition
- stochastic local search
- propositional satisfiability
- fault tolerance
- boolean satisfiability
- protection scheme
- security risks
- protection schemes
- malicious attacks
- data publishing
- data protection
- sat instances
- watermarking algorithm