GadgetMeter: Quantitatively and Accurately Gauge the Exploitability of Speculative Gadgets
CiMSAT: Exploiting SAT Analysis to Attack Compute-in-Memory Architecture Defenses