On Attacking Scan-based Logic Locking Schemes.

Govind Rajhans Jadhav Sonali Shukla Virendra Singh

Published in: DFT (2023)

Keyphrases

optimistic concurrency control
modal logic
logic programming
defeasible logic
classical logic
multi valued
automated reasoning
garbage collection
asynchronous circuits
logical framework
real time
situation calculus
concurrency control
fine grained
set theory
database systems
search engine
data sets