Does logic locking work with EDA tools?

Zhaokun Han Muhammad Yasin Jeyavijayan (JV) Rajendran

Published in: USENIX Security Symposium (2021)

Keyphrases

database systems
concurrency control
software tools
neural network
information systems
case study
databases
information technology
decision support
data objects
automated reasoning
asynchronous circuits