Qianying Zhang

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