Fowler, A. (2025) “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, 2025(2), pp. 579–603. doi:10.46586/tches.v2025.i2.579-603.