This repository includes the removal and structural analysis attack against state-of-the-art logic locking techniques, such as Anti-SAT, CASLock, SARLock, TTLock, SFLL, and CAC. Its details are given in its README file and in the following publication.

@inproceedings{aksoy24, author={L. {Aksoy} and M. {Yasin} and S. {Pagliarini}}, booktitle={Design, Automation and Test in Europe Conference (DATE)}, title="{KRATT: QBF-Assisted Removal and Structural Analysis Attack Against Logic Locking}", year={2024}, note={accepted for publication} }