Maoyuan Qin

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

Maoyuan Qin, Minghai Li, Rebaz Othman Yahya · Internet of Things · 2023 · 18 citations

Computing, Cloud Computing, Computer Science +16

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

Maoyuan Qin, Wei Hu, Xinmu Wang et al. · Computers & Security · 2019 · 15 citations

Computing, Computer Engineering, Computer Science +16

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

Lixiang Shen, Dejun Mu, Guo Cao et al. · Computers & Security · 2018 · 14 citations · Full text

Computing, Computer Engineering, Computer Science +14

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

Maoyuan Qin, Xinmu Wang, Baolei Mao et al. · Integration · 2020 · 11 citations

Engineering, Computer Engineering, Computer Science +14

Property Based Formal Security Verification for Hardware Trojan Detection

Maoyuan Qin, Wei Hu, Dejun Mu et al. · 2018 · 10 citations

Computing, Computer Engineering, Computer Science +17