ATPG-based cost-effective, secure logic locking.
Abhrajit SenguptaMohammed Thari NabeelMuhammad YasinOzgur SinanogluPublished in: VTS (2018)
Keyphrases
- cost effective
- low cost
- cost effectiveness
- private cloud
- modal logic
- logic programming
- data center
- multi valued
- classical logic
- concurrency control
- real time
- security mechanisms
- security analysis
- rfid tags
- database systems
- security requirements
- authentication protocol
- security level
- garbage collection
- fine granularity