How Secure is a High-Performance RISC-V Core? A Spectre V1 Case Study on XiangShan Open-Source CPU. - Rey Paraula; Roberto Petenzi; Alessandro Bertani; Davide Conficconi (EuroSec, 2026)