Maoyuan Qin

According to our database, Maoyuan Qin authored at least 9 papers between 2012 and 2024.

Collaborative distances:

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

2024

Hardware/software security co-verification and vulnerability detection: An information flow perspective.

Maoyuan Qin, Jiacheng Zhu, Baolei Mao, Wei Hu

Integr., January, 2024

2023

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

Maoyuan Qin, Minghai Li, Rebaz Othman Yahya

Internet Things, October, 2023

2021

Accelerating hardware security verification and vulnerability detection through state space reduction.

Lixiang Shen, Dejun Mu, Guo Cao, Maoyuan Qin, Jiacheng Zhu, Wei Hu

Comput. Secur., 2021

2020

A formal model for proving hardware timing properties and identifying timing channels.

Maoyuan Qin, Xinmu Wang, Baolei Mao, Dejun Mu, Wei Hu

Integr., 2020

2019

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

Maoyuan Qin, Wei Hu, Xinmu Wang, Dejun Mu, Baolei Mao

Comput. Secur., 2019

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

Property Based Formal Security Verification for Hardware Trojan Detection.

Maoyuan Qin, Wei Hu, Dejun Mu, Yu Tai

Proceedings of the 3rd IEEE International Verification and Security Workshop, 2018

2017

A Simplifying Logic Approach for Gate Level Information Flow Tracking.

Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lantian Guo, Maoyuan Qin

Proceedings of the Communications and Networking, 2017

2012

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

Proceedings of the Eighth International Conference on Computational Intelligence and Security, 2012