Login / Signup
LL-ATPG: Logic-Locking Aware Test Using Valet Keys in an Untrusted Environment.
M. Sazadur Rahman
Henian Li
Rui Guo
Fahim Rahman
Farimah Farahmandi
Mark M. Tehranipoor
Published in:
ITC (2021)
Keyphrases
</>
mobile robot
real time
third party
neural network
test cases
concurrency control
modal logic
classical logic
predicate logic
database systems
relational databases
software development
logic programming
security policies
taking care