Fowler, A. et al. 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 (Mar. 2025), 579–603. DOI:https://doi.org/10.46586/tches.v2025.i2.579-603.