C-SAR: SAT Attack Resistant Logic Locking for RSFQ Circuits.
Junyao ZhangPaul BogdanShahin NazarianPublished in: CoRR (2023)
Keyphrases
- delay insensitive
- asynchronous circuits
- low power
- sar images
- search algorithm
- propositional satisfiability
- satisfiability problem
- concurrency control
- sat solvers
- countermeasures
- stochastic local search
- model checking
- synthetic aperture radar
- sat problem
- parameter estimation
- secret key
- maximum likelihood
- database systems