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

Kaveh Shamsi David Z. Pan Yier 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