Qianying Zhang

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 27

Top Topics

Formal Verification

Camera Pose Estimation

Security Analysis

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Linhan Li, Qianying Zhang, Zekun Xu, Shijun Zhao, Zhiping Shi, Yong Guan
rOOM: A Rust-Based Linux Out of Memory Kernel Component. IEICE Trans. Inf. Syst. 107 (3) (2024)
Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi
Refinement Verification of OS Services based on a Verified Preemptive Microkernel. FASE (2024)
Junqing Huang, Michael V. Ruzhansky, Qianying Zhang, Haihui Wang
Intrinsic Image Transfer for Illumination Manipulation. IEEE Trans. Pattern Anal. Mach. Intell. 45 (6) (2023)
Ximeng Li, Qianying Zhang, Guohui Wang, Zhi-Ping Shi, Yong Guan
A unified proof technique for verifying program correctness with big-step semantics. J. Syst. Archit. 136 (2023)
Qianying Zhang, Mingxin Wang
A nonlocal diffusion competition model with seasonal succession and free boundaries. Commun. Nonlinear Sci. Numer. Simul. 122 (2023)
Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan
Formal Verification of Interrupt Isolation for the TrustZone-based TEE. APSEC (2023)
Linhan Li, Qianying Zhang, Shijun Zhao, Zhi-Ping Shi, Yong Liang Guan
Design and Implementation of OOM Module based on Rust. QRS Companion (2022)
Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan
Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics. CoRR (2021)
Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. SETTA (2021)
Junqing Huang, Michael Ruzhansky, Qianying Zhang, Haihui Wang
Intrinsic Image Transfer for Illumination Manipulation. CoRR (2021)
Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi
Formal Verification of Memory Isolation for the TrustZone-based TEE. APSEC (2020)
Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan
Formalizing the Transaction Flow Process of Hyperledger Fabric. ICFEM (2020)
Qianying Zhang, Shijun Zhao
A comprehensive formal security analysis and revision of the two-phase key exchange primitive of TPM 2.0. Comput. Networks 179 (2020)
Shanyan Chen, Guohui Wang, Ximeng Li, Qianying Zhang, Zhi-Ping Shi, Yong Guan
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula. Formal Aspects Comput. 32 (4-6) (2020)
Leping Zhang, Qianying Zhang, Guohui Wang, Zhiping Shi, Minhua Wu, Yong Guan
Formal Modelling and Verification of Spinlocks at Instruction Level. APSEC (2019)
Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan, Guohui Wang
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0. IACR Cryptol. ePrint Arch. 2019 (2019)
Meiyu Zhang, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan
SoftME: A Software-Based Memory Protection Approach for TEE System to Resist Physical Attacks. Secur. Commun. Networks 2019 (2019)
Li-Ming Li, Zhi-Ping Shi, Yong Guan, Qianying Zhang, Yong-Dong Li
Formalization of Geometric Algebra in HOL Light. J. Autom. Reason. 63 (3) (2019)
Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan
MicroTEE: Designing TEE OS Based on the Microkernel Architecture. CoRR (2019)
Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan, Guohui Wang
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0. CoRR (2019)
Shijun Zhao, Qianying Zhang, Yu Qin, Wei Feng, Dengguo Feng
SecTEE: A Software-based Approach to Secure Enclave Architecture Using TEE. CCS (2019)
Shijun Zhao, Qianying Zhang, Yu Qin, Wei Feng, Dengguo Feng
Minimal Kernel: An Operating System Architecture for TEE to Resist Board Level Physical Attacks. RAID (2019)
Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. ICFEM (2019)
Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi, Yong Guan
MicroTEE: Designing TEE OS Based on the Microkernel Architecture. TrustCom/BigDataSE (2019)
Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li
Formalization of Symplectic Geometry in HOL-Light. ICFEM (2018)
Qianying Zhang, Zhiping Shi
A New Way to Prevent UKS Attacks Using Hardware Security Chips. Int. J. Netw. Secur. 19 (5) (2017)
Xiumei Yang, Yong Guan, Zhiping Shi, Aixuan Wu, Qianying Zhang, Jie Zhang
函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus). 计算机科学 43 (11) (2016)
Chaolin Wang, Shaobo Zhong, Qianying Zhang, Quanyi Huang
Urban Disaster Comprehensive Risk Assessment Research Based on GIS: A Case Study of Changsha City, Hunan Province, China. GRMSE (2015)
Shijun Zhao, Qianying Zhang
A Unified Security Analysis of Two-phase Key Exchange Protocols in TPM 2.0. IACR Cryptol. ePrint Arch. 2015 (2015)
Shijun Zhao, Li Xi, Qianying Zhang, Yu Qin, Dengguo Feng
Security analysis of SM2 key exchange protocol in TPM2.0. Secur. Commun. Networks 8 (3) (2015)
Shijun Zhao, Qianying Zhang
A Unified Security Analysis of Two-Phase Key Exchange Protocols in TPM 2.0. TRUST (2015)
Shijun Zhao, Qianying Zhang
sHMQV: An Efficient Key Exchange Protocol for Power-Limited Devices. ISPEC (2015)
Shijun Zhao, Qianying Zhang
sHMQV: An Efficient Key Exchange Protocol for Power-limited Devices. IACR Cryptol. ePrint Arch. 2015 (2015)
Shijun Zhao, Qianying Zhang, Guangyao Hu, Yu Qin, Dengguo Feng
Providing Root of Trust for ARM TrustZone using SRAM PUFs. IACR Cryptol. ePrint Arch. 2014 (2014)
Qianying Zhang, Shijun Zhao, Li Xi, Wei Feng, Dengguo Feng
Mdaak: A Flexible and Efficient Framework for Direct Anonymous Attestation on Mobile Devices. ICICS (2014)
Shijun Zhao, Qianying Zhang, Yu Qin, Dengguo Feng
Universally Composable secure TNC protocol based on IF-T binding to TLS. IACR Cryptol. ePrint Arch. 2014 (2014)
Shijun Zhao, Qianying Zhang, Guangyao Hu, Yu Qin, Dengguo Feng
Providing Root of Trust for ARM TrustZone using On-Chip SRAM. TrustED@CCS (2014)
Shijun Zhao, Qianying Zhang, Yu Qin, Dengguo Feng
Universally Composable Secure TNC Protocol Based on IF-T Binding to TLS. NSS (2014)
Qianying Zhang, Shijun Zhao, Yu Qin, Dengguo Feng
Improving the Security of the HMQV Protocol Using Tamper-Proof Hardware. SecureComm (1) (2014)
Wei Feng, Dengguo Feng, Ge Wei, Yu Qin, Qianying Zhang, Dexian Chang
TEEM: A User-Oriented Trusted Mobile Device for Multi-platform Security Applications. TRUST (2013)
Yu Qin, Dexian Chang, Shijun Zhao, Qianying Zhang
A Property-Based Attestation Scheme with the Variable Privacy. TrustCom (2011)