Shibo Tang

Orcid: 0009-0007-7495-9301

According to our database1, Shibo Tang authored at least 8 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2022
2023
2024
2025
0
1
2
3
4
1
1
2
1
3

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification.
IEEE Trans. Circuits Syst. I Regul. Pap., January, 2025

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

INS: Identifying and Mitigating Performance Interference in Clouds via Interference-Sensitive Paths.
Proceedings of the 2024 ACM Symposium on Cloud Computing, 2024

HAPPIES: a History-Aware Efficient Cloud Resource Overcommitment System.
Proceedings of the 24th IEEE International Symposium on Cluster, 2024

2023
Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.
Proceedings of the 32nd IEEE Asian Test Symposium, 2023

2022
Towards Automatic Property Generation for SoC Security Verification.
Proceedings of the 19th International SoC Design Conference, 2022

Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution.
Proceedings of the 19th International SoC Design Conference, 2022

Weather China: A 5G RCS Solution for Meteorological Service.
Proceedings of the 3rd Asia Conference on Computers and Communications, 2022


  Loading...