Guo Cao

Symbolic execution based test-patterns generation algorithm for hardware Trojan detection

Dejun Mu, Ryan Kastner, Guo Cao, 2018, Comput. Secur..

Accelerating hardware security verification and vulnerability detection through state space reduction

Wei Hu, Dejun Mu, Maoyuan Qin, 2021, Comput. Secur..

A novel parameter similarity measure between interval-valued picture fuzzy sets with its app-lication in pattern recognition

Lixiang Shen, Guo Cao, 2023, J. Intell. Fuzzy Syst..