SSSL: Secure Search Space Locking of Behavioral IPs.
Zi WangBenjamin Carrion SchaferPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
- search space
- search algorithm
- heuristic search
- metaheuristic
- search tree
- reduce the search space
- security issues
- solution space
- optimal solution
- security analysis
- global optimum
- data objects
- concurrency control
- sat solvers
- garbage collection
- search procedure
- authentication scheme
- cryptographic protocols
- standard model
- information systems
- data management
- fine granularity
- identity management
- key management
- sensitive data
- security requirements
- lightweight
- constraint satisfaction problems
- fitness function
- human behavior