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},
pages={1-6}
}