Fowler, Aric, Shayan Mohammed, Mustafa Shihab, Thomas Broadfoot, Peter Beerel, Carl Sechen, and Yiorgos Makris. 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): 579-603. https://doi.org/10.46586/tches.v2025.i2.579-603.