Maoyuan Qin

Real-Time Auto-Focus System Design Based on Climbing Algorithm and its FPGA Implementation

Qing Zhu, Li Wu, Haifeng Zhang, 2012, 2012 Eighth International Conference on Computational Intelligence and Security.

Hardware Trojan Attack in Embedded Memory

A. Basak, S. Bhunia, Dejun Mu, 2021 .

Theorem proof based gate level information flow tracking for hardware security verification

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

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

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

Dynamic IoT service placement based on shared parallel architecture in fog-cloud computing

Maoyuan Qin, Minghai Li, Rebaz Othman Yahya, 2023, Internet of Things.

A Simplifying Logic Approach for Gate Level Information Flow Tracking

Wei Hu, Dejun Mu, Baolei Mao, 2017, ChinaCom.

Accelerating hardware security verification and vulnerability detection through state space reduction

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