Fowler, A.; Mohammed, S.; Shihab, M.; Broadfoot, T.; Beerel, P.; Sechen, C.; Makris, Y. A TRAP for SAT: On the Imperviousness of a Transistor-Level Programmable Fabric to Satisfiability-Based Attacks. TCHES 2025, 2025 (2), 579-603. https://doi.org/10.46586/tches.v2025.i2.579-603.