A. Fowler, “A TRAP for SAT: On the Imperviousness of a Transistor-Level Programmable Fabric to Satisfiability-Based Attacks”, TCHES, vol. 2025, no. 2, pp. 579–603, Mar. 2025, doi: 10.46586/tches.v2025.i2.579-603.