Zhiping Shi

The Gauge Integral Theory in HOL4

Zhiping Shi, Weiqing Gu, Xiaojuan Li et al. · Journal of Applied Mathematics · 2013 · 30 citations · Full text

Natural Sciences, Mathematics, Physics +7

Sensor attack detection using history based pairwise inconsistency

Kang Yang, Rui Wang, Yu Jiang et al. · Future Generation Computer Systems · 2018 · 21 citations

Computing, Computer Science, Cybersecurity +12

A Systematical Framework of Schedule Risk Management for Power Grid Engineering Projects’ Sustainable Development

Rao Rao, Xingping Zhang, Zhiping Shi et al. · Sustainability · 2014 · 19 citations · Full text

Management, Project Management, Risk Management +15

MicroTEE: Designing TEE OS Based on the Microkernel Architecture

Dongxu Ji, Qianying Zhang, Shijun Zhao et al. · 2019 · 15 citations · Full text

Computing, Computer Engineering, Computer Science +15

SoftME: A Software-Based Memory Protection Approach for TEE System to Resist Physical Attacks

Meiyu Zhang, Qianying Zhang, Shijun Zhao et al. · Security and Communication Networks · 2019 · 12 citations · Full text

Computing, Computer Engineering, Computer Science +17