SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks. - Ange-Thierry Ishimwe; Sam McDiarmid-Sterling; Zack McKevitt; Tamara Silbergleit Lehman (CC, 2026)