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).