Maoyuan Qin

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 8

Top Topics

Space Reduction

Symbolic Execution

Information Flows

Top Venues

Publications

Maoyuan Qin, Jiacheng Zhu, Baolei Mao, Wei Hu
Hardware/software security co-verification and vulnerability detection: An information flow perspective. Integr. 94 (2024)
Maoyuan Qin, Minghai Li, Rebaz Othman Yahya
Dynamic IoT service placement based on shared parallel architecture in fog-cloud computing. Internet Things 23 (2023)
Lixiang Shen, Dejun Mu, Guo Cao, Maoyuan Qin, Jiacheng Zhu, Wei Hu
Accelerating hardware security verification and vulnerability detection through state space reduction. Comput. Secur. 103 (2021)
Maoyuan Qin, Xinmu Wang, Baolei Mao, Dejun Mu, Wei Hu
A formal model for proving hardware timing properties and identifying timing channels. Integr. 72 (2020)
Maoyuan Qin, Wei Hu, Xinmu Wang, Dejun Mu, Baolei Mao
Theorem proof based gate level information flow tracking for hardware security verification. Comput. Secur. 85 (2019)
Maoyuan Qin, Wei Hu, Dejun Mu, Yu Tai
Property Based Formal Security Verification for Hardware Trojan Detection. IVSW (2018)
Lixiang Shen, Dejun Mu, Guo Cao, Maoyuan Qin, Jeremy Blackstone, Ryan Kastner
Symbolic execution based test-patterns generation algorithm for hardware Trojan detection. Comput. Secur. 78 (2018)
Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lantian Guo, Maoyuan Qin
A Simplifying Logic Approach for Gate Level Information Flow Tracking. ChinaCom (2) (2017)
Haifeng Zhang, Zhaohui Zhang, Hongtao Yang, Li Wu, Linao Tang, Qing Zhu, Sen Dong, Maoyuan Qin, Yangjie Lei
Real-Time Auto-Focus System Design Based on Climbing Algorithm and its FPGA Implementation. CIS (2012)