Stripped Functionality Logic Locking With Hamming Distance-Based Restore Unit (SFLL-hd) - Unlocked.
Fangfei YangMing TangOzgur SinanogluPublished in: IEEE Trans. Inf. Forensics Secur. (2019)
Keyphrases
- distance measure
- logic programming
- modal logic
- outlier detection
- digital circuits
- computational properties
- multi valued
- automated reasoning
- high definition
- concurrency control
- database systems
- predicate logic
- euclidean distance
- formal theory
- classical logic
- asynchronous circuits
- data sets
- proof theory
- hamming distance
- bag of words
- fine grained
- similarity measure
- information systems