Fowler A, Mohammed S, Shihab M, et al. A TRAP for SAT: On the Imperviousness of a Transistor-Level Programmable Fabric to Satisfiability-Based Attacks. TCHES. 2025;2025(2):579-603. doi:10.46586/tches.v2025.i2.579-603