On the Approximation Resiliency of Logic Locking and IC Camouflaging Schemes.
Kaveh ShamsiTravis MeadeMeng LiDavid Z. PanYier JinPublished in: IEEE Trans. Inf. Forensics Secur. (2019)
Keyphrases
- approximation schemes
- integrated circuit
- approximation algorithms
- classical logic
- concurrency control
- closed form
- optimistic concurrency control
- modal logic
- approximation methods
- approximation error
- computational properties
- fine granularity
- data objects
- database
- neural network
- data sets
- asynchronous circuits
- predicate logic
- sound and complete axiomatization
- multi valued
- automated reasoning
- queueing networks
- probability theory
- error bounds
- database systems