SecRiSBen: A RISC-V based SoC Benchmark for Evaluation of Security Verification Tools. - Maoyuan Cai; Aijiao Cui; Yier Jin (AsianHOST, 2024)