Shibo Tang, Xingxin Wang, Yifei Gao, Wei Hu. Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution. In 19th International SoC Design Conference, ISOCC 2022, Gangneung-si, Republic of Korea, October 19-22, 2022. pages 207-208, IEEE, 2022. [doi]
Abstract is missing.