Fowler, Aric, Shayan Mohammed, Mustafa Shihab, Thomas Broadfoot, Peter Beerel, Carl Sechen, and Yiorgos Makris. “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, no. 2 (March 4, 2025): 579–603. Accessed March 9, 2025. https://tches.iacr.org/index.php/TCHES/article/view/12058.