Information-flow-analysis-based detection of spectre vulnerabilities in RISC-V processorsShibo TANG, Jiacheng ZHU, Wei HU, Weihao FAN and Dejun MUJNWPU, 44 2 (2026) 417-425DOI: https://doi.org/10.1051/jnwpu/20264420417
