KRATT: QBF-Assisted Removal and Structural Analysis Attack Against Logic Locking.

Levent Aksoy, Muhammad Yasin, Samuel Pagliarini

Browse the full DATE paper archive.