related documents SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks Conference Proceeding