SARO: Scalable Attack-Resistant Logic Locking.
Abdulrahman AlaqlSwarup BhuniaPublished in: IEEE Trans. Inf. Forensics Secur. (2021)
Keyphrases
- concurrency control
- life cycle
- malicious users
- lightweight
- predicate logic
- automated reasoning
- multi valued
- highly scalable
- proof theory
- deontic logic
- defeasible logic
- computational properties
- web scale
- neural network
- modal logic
- authentication protocol
- secret key
- countermeasures
- asynchronous circuits
- garbage collection
- logic programming