Login / Signup

SMARTLock: SAT Attack and Removal Attack-Resistant Tree-Based Logic Locking.

Yung-Chih Chen
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2020)
Keyphrases
  • countermeasures
  • satisfiability problem
  • dos attacks
  • database
  • logic programming
  • np complete
  • modal logic
  • secret key
  • sat problem
  • classical logic
  • authentication protocol
  • malicious users
  • attack scenarios