Fowler, Aric, et al. “A TRAP for SAT: On the Imperviousness of a Transistor-Level Programmable Fabric to Satisfiability-Based Attacks”. IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2025, no. 2, Mar. 2025, pp. 579-03, https://doi.org/10.46586/tches.v2025.i2.579-603.