all InfoSec news
KRATT: QBF-Assisted Removal and Structural Analysis Attack Against Logic Locking. (arXiv:2311.05982v1 [cs.CR])
cs.CR updates on arXiv.org arxiv.org
This paper introduces KRATT, a removal and structural analysis attack against
state-of-the-art logic locking techniques, such as single and double flip
locking techniques (SFLTs and DFLTs). KRATT utilizes powerful quantified
Boolean formulas (QBFs), which have not found widespread use in hardware
security, to find the secret key of SFLTs for the first time. It can handle
locked circuits under both oracle-less (OL) and oracle-guided (OG) threat
models. It modifies the locked circuit and uses a prominent OL attack to make …
analysis art attack find flip found hardware hardware security key logic secret secret key security single state techniques