Tang, S. ., Wang, X. ., Gao, Y. ., & Hu, W. . (2022). Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution. In 2022 19th International SoC Design Conference (ISOCC) (pp. 207–208).