Fowler A, Mohammed S, Shihab M, Broadfoot T, Beerel P, Sechen C, et al. A TRAP for SAT: On the Imperviousness of a Transistor-Level Programmable Fabric to Satisfiability-Based Attacks. TCHES [Internet]. 2025 Mar. 4 [cited 2025 Mar. 9];2025(2):579-603. Available from: https://tches.iacr.org/index.php/TCHES/article/view/12058