Real-Time Auto-Focus System Design Based on Climbing Algorithm and its FPGA Implementation. - Haifeng Zhang; Zhaohui Zhang; Hongtao Yang; Li Wu; Linao Tang; Qing Zhu; Sen Dong; Maoyuan Qin; Yangjie Lei (CIS, 2012)

A Simplifying Logic Approach for Gate Level Information Flow Tracking. - Yu Tai; Wei Hu 008; Dejun Mu; Baolei Mao; Lantian Guo; Maoyuan Qin (ChinaCom (2), 2017)

Property Based Formal Security Verification for Hardware Trojan Detection. - Maoyuan Qin; Wei Hu 008; Dejun Mu; Yu Tai (IVSW, 2018)

Symbolic execution based test-patterns generation algorithm for hardware Trojan detection. - Lixiang Shen; Dejun Mu; Guo Cao; Maoyuan Qin; Jeremy Blackstone; Ryan Kastner (Comput. Secur., 2018)

Theorem proof based gate level information flow tracking for hardware security verification. - Maoyuan Qin; Wei Hu 008; Xinmu Wang; Dejun Mu; Baolei Mao (Comput. Secur., 2019)

A formal model for proving hardware timing properties and identifying timing channels. - Maoyuan Qin; Xinmu Wang; Baolei Mao; Dejun Mu; Wei Hu 008 (Integr., 2020)

Hardware Trojan Attack in Embedded Memory. - Xinmu Wang; Tamzidul Hoque; Abhishek Basak; Robert Karam; Wei Hu 008; Maoyuan Qin; Dejun Mu; Swarup Bhunia (ACM J. Emerg. Technol. Comput. Syst., 2020)

Accelerating hardware security verification and vulnerability detection through state space reduction. - Lixiang Shen; Dejun Mu; Guo Cao; Maoyuan Qin; Jiacheng Zhu; Wei Hu 008 (Comput. Secur., 2021)

Dynamic IoT service placement based on shared parallel architecture in fog-cloud computing. - Maoyuan Qin; Minghai Li; Rebaz Othman Yahya (Internet Things, 2023)

Path-specific Information Flow Analysis for RSA Hardware Timing Channel Security Verification. - Zezhi Wang; Baolei Mao; Shunjie Zhang; Chenxi Mao; Maoyuan Qin; Wei Hu 008 (ICCT, 2024)

Hardware/software security co-verification and vulnerability detection: An information flow perspective. - Maoyuan Qin; Jiacheng Zhu; Baolei Mao; Wei Hu 008 (Integr., 2024)