Avi Mendelson Secure Speculative Core. 426-431 2019 SoCC https://doi.org/10.1109/SOCC46988.2019.1570564192 conf/socc/2019 db/conf/socc/socc2019.html#Mendelson19