This repository includes the query attack, which can break logic obfuscation techniques resilient to the SAT-based attacks. It aims to prove the values of key inputs using a small number of queries. Its details are given in its README file and the following publication.

@ARTICLE{aksoy23, author={Aksoy, Levent and Nguyen, Quang-Linh and Almeida, Felipe and Raik, Jaan and Flottes, Marie-Lise and Dupuis, Sophie and Pagliarini, Samuel}, journal={IEEE Transactions on Very Large Scale Integration (VLSI) Systems}, title={Hybrid Protection of Digital FIR Filters}, year={2023}, volume={31}, number={6}, pages={812-825}, doi={10.1109/TVLSI.2023.3253641} }