Shibo Tang

According to our database, Shibo Tang authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.

Shibo Tang, Jiacheng Zhu, Yifei Gao, Jing Zhou, Dejun Mu, Wei Hu

Proceedings of the 32nd IEEE Asian Test Symposium, 2023

2022

Towards Automatic Property Generation for SoC Security Verification.

Xingxin Wang, Shibo Tang, Wei Hu

Proceedings of the 19th International SoC Design Conference, 2022

Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution.

Shibo Tang, Xingxin Wang, Yifei Gao, Wei Hu

Proceedings of the 19th International SoC Design Conference, 2022

Weather China: A 5G RCS Solution for Meteorological Service.

Hanhua Qu, Wei Tang, Yanpeng Li, Siyuan Sun, Shibo Tang, Xiaoran Zhao

Proceedings of the 3rd Asia Conference on Computers and Communications, 2022