Bug Hunting in the RISC-V SoC: The 1st Integrated Circuit Security Challenge. - Lei Peng; Jiacheng Zhu; Qizhi Zhang 001; Shibo Tang; Xingxin Wang; Xinyu Zheng; Yaxuan Zhao; Aijiao Cui; Wei Hu; Jiaji He 001; Peng Fei Qiu (AsianHOST, 2025)