A TRAP for SAT: On the Imperviousness of a Transistor-Level Programmable Fabric to Satisfiability-Based Attacks. - Aric Fowler; Mohammed Shayan; Mustafa M. Shihab; Thomas Broadfoot; Peter Beerel; Carl Sechen; Yiorgos Makris (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2025)