Shibo Tang

According to our database, Shibo Tang authored at least 10 papers between 2022 and 2025.

Collaborative distances:

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

2025

An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification.

Xingxin Wang, Wei Hu, Shibo Tang, Xinxin Wang, Huisi Zhou

IEEE Trans. Circuits Syst. I Regul. Pap., January, 2025

Identifying Sat Resilient Blocks Through LUT Switching Analysis for Breaking Compound Logic Locking Schemes.

Binbin Wang, Xinmu Wang, Xinyu Zhang, Shibo Tang, Huisi Zhou, Wei Hu

Proceedings of the 35th International Conference on Field-Programmable Logic and Applications, 2025

Bug Hunting in the RISC-V SoC: The 1^st Integrated Circuit Security Challenge.

Lei Peng, Jiacheng Zhu, Qizhi Zhang, Shibo Tang, Xingxin Wang, Xinyu Zheng, Yaxuan Zhao, Aijiao Cui, Wei Hu, Jiaji He, Peng Fei Qiu

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2025

2024

Improving the computational efficiency and flexibility of FPGA-based CNN accelerator through loop optimization.

Yuhao Liu, Yanhua Ma, Bowei Zhang, Lu Liu, Jie Wang, Shibo Tang

Microelectron. J., 2024

INS: Identifying and Mitigating Performance Interference in Clouds via Interference-Sensitive Paths.

Ziwei Huang, Mengyao Xie, Shibo Tang, Zihao Chang, Zhicheng Yao, Yungang Bao, Sa Wang

Proceedings of the 2024 ACM Symposium on Cloud Computing, 2024

HAPPIES: a History-Aware Efficient Cloud Resource Overcommitment System.

Ziwei Huang, Shibo Tang, Zihao Chang, Lin Tan, Qichao Lu, Jian Ouyang, Wenbin Lv, Zhicheng Yao, Yungang Bao, Sa Wang

Proceedings of the 24th IEEE International Symposium on Cluster, 2024

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