TY  - RPRT
TI  - RTL Verification for Secure Speculation Using Contract Shadow Logic
AU  - Qinhan Tan
AU  - Yuheng Yang
AU  - Thomas Bourgeat
AU  - Sharad Malik
AU  - Mengjia Yan
PY  - 2024
UR  - https://arxiv.org/abs/2407.12232
ID  - 2407.12232
ER  -