Sign in

IcySAT: Improved SAT-based Attacks on Cyclic Locked Circuits.

Kaveh ShamsiDavid Z. PanYier Jin
Published in: ICCAD (2019)
Keyphrases
  • answer set programming
  • high speed
  • sat solvers
  • asynchronous circuits
  • digital images
  • countermeasures
  • ai planning
  • digital circuits
  • boolean satisfiability
  • malicious attacks
  • terrorist attacks