Xinliang Miao

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Main Contribution

Top Venues

Publications

Xinliang Miao, Rui Chang, Jianhong Zhao, Yongwang Zhao, Shuang Cao, Tao Wei, Liehui Jiang, Kui Ren
CVTEE: A Compatible Verified TEE Architecture With Enhanced Security. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Xinliang Miao, Fanlang Zeng, Rui Chang, Chenyang Yu, Zijun Zhang, Liehui Jiang, Yongwang Zhao
Is your access allowed or not? A Verified Tag-based Access Control Framework for the Multi-domain TEE. Internetware (2022)
Yuzhu Ren, Weiyu Dong, Jian Lin, Xinliang Miao
A Dynamic Taint Analysis Framework Based on Entity Equipment. IEEE Access 7 (2019)