Maoyuan Qin

11 papers C 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Hardware/software security co-verification and vulnerability detection: An information flow perspective.
Integr.
Maoyuan Qin, Jiacheng Zhu, Baolei Mao, Wei Hu
2024 — conf
Path-specific Information Flow Analysis for RSA Hardware Timing Channel Security Verification.
ICCT
Zezhi Wang, Baolei Mao, Shunjie Zhang, Chenxi Mao, Maoyuan Qin, Wei Hu
2023 J jnl
Dynamic IoT service placement based on shared parallel architecture in fog-cloud computing.
Internet Things
Maoyuan Qin, Minghai Li, Rebaz Othman Yahya
2021 J jnl
Accelerating hardware security verification and vulnerability detection through state space reduction.
Comput. Secur.
Lixiang Shen, Dejun Mu, Guo Cao, Maoyuan Qin, Jiacheng Zhu, Wei Hu
2020 J jnl
A formal model for proving hardware timing properties and identifying timing channels.
Integr.
Maoyuan Qin, Xinmu Wang, Baolei Mao, Dejun Mu, Wei Hu
2020 J jnl
Hardware Trojan Attack in Embedded Memory.
ACM J. Emerg. Technol. Comput. Syst.
Xinmu Wang, Tamzidul Hoque, Abhishek Basak, Robert Karam, Wei Hu, Maoyuan Qin, Dejun Mu, Swarup Bhunia
2019 J jnl
Theorem proof based gate level information flow tracking for hardware security verification.
Comput. Secur.
Maoyuan Qin, Wei Hu, Xinmu Wang, Dejun Mu, Baolei Mao
2018 — conf
Property Based Formal Security Verification for Hardware Trojan Detection.
IVSW
Maoyuan Qin, Wei Hu, Dejun Mu, Yu Tai
2018 J jnl
Symbolic execution based test-patterns generation algorithm for hardware Trojan detection.
Comput. Secur.
Lixiang Shen, Dejun Mu, Guo Cao, Maoyuan Qin, Jeremy Blackstone, Ryan Kastner
2017 — conf
A Simplifying Logic Approach for Gate Level Information Flow Tracking.
ChinaCom (2)
Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lantian Guo, Maoyuan Qin
2012 C conf
Real-Time Auto-Focus System Design Based on Climbing Algorithm and its FPGA Implementation.
CIS
Haifeng Zhang, Zhaohui Zhang, Hongtao Yang, Li Wu, Linao Tang, Qing Zhu, Sen Dong, Maoyuan Qin, Yangjie Lei