Qianying Zhang

Orcid: 0000-0002-3246-9474

According to our database¹, Qianying Zhang authored at least 35 papers between 2011 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Formal Verification of Functional Correctness for Mutexes in Microkernel.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2024

rOOM: A Rust-Based Linux Out of Memory Kernel Component.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2024

Refinement Verification of OS Services based on a Verified Preemptive Microkernel.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

A nonlocal diffusion competition model with seasonal succession and free boundaries.

[BibT_eX]

[DOI]

Qianying Zhang

Mingxin Wang

Commun. Nonlinear Sci. Numer. Simul., July, 2023

Intrinsic Image Transfer for Illumination Manipulation.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., June, 2023

A unified proof technique for verifying program correctness with big-step semantics.

[BibT_eX]

[DOI]

J. Syst. Archit., March, 2023

Formal Verification of Interrupt Isolation for the TrustZone-based TEE.

[BibT_eX]

[DOI]

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Design and Implementation of OOM Module based on Rust.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

2020

Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

A comprehensive formal security analysis and revision of the two-phase key exchange primitive of TPM 2.0.

[BibT_eX]

[DOI]

Qianying Zhang

Shijun Zhao

Comput. Networks, 2020

Formalizing the Transaction Flow Process of Hyperledger Fabric.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2020

Formal Verification of Memory Isolation for the TrustZone-based TEE.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

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

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2019

Formalization of Geometric Algebra in HOL Light.

[BibT_eX]

[DOI]

J. Autom. Reason., 2019

A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0.

[BibT_eX]

[DOI]

CoRR, 2019

MicroTEE: Designing TEE OS Based on the Microkernel Architecture.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference On Trust, 2019

Minimal Kernel: An Operating System Architecture for TEE to Resist Board Level Physical Attacks.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Research in Attacks, 2019

Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

SecTEE: A Software-based Approach to Secure Enclave Architecture Using TEE.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Formal Modelling and Verification of Spinlocks at Instruction Level.

[BibT_eX]

[DOI]

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Formalization of Symplectic Geometry in HOL-Light.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

2017

A New Way to Prevent UKS Attacks Using Hardware Security Chips.

[BibT_eX]

[DOI]

Qianying Zhang

Zhiping Shi

Int. J. Netw. Secur., 2017

2016

函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus).

[BibT_eX]

[DOI]

计算机科学, 2016

2015

Security analysis of SM2 key exchange protocol in TPM2.0.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2015

A Unified Security Analysis of Two-Phase Key Exchange Protocols in TPM 2.0.

[BibT_eX]

[DOI]

Shijun Zhao

Qianying Zhang

Proceedings of the Trust and Trustworthy Computing - 8th International Conference, 2015

sHMQV: An Efficient Key Exchange Protocol for Power-Limited Devices.

[BibT_eX]

[DOI]

Shijun Zhao

Qianying Zhang

Proceedings of the Information Security Practice and Experience, 2015

Urban Disaster Comprehensive Risk Assessment Research Based on GIS: A Case Study of Changsha City, Hunan Province, China.

[BibT_eX]

[DOI]

Proceedings of the Geo-Informatics in Resource Management and Sustainable Ecosystem, 2015

2014

Providing Root of Trust for ARM TrustZone using SRAM PUFs.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Improving the Security of the HMQV Protocol Using Tamper-Proof Hardware.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Security and Privacy in Communication Networks, 2014

Universally Composable Secure TNC Protocol Based on IF-T Binding to TLS.

[BibT_eX]

[DOI]

Proceedings of the Network and System Security - 8th International Conference, 2014

Mdaak: A Flexible and Efficient Framework for Direct Anonymous Attestation on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security - 16th International Conference, 2014

Providing Root of Trust for ARM TrustZone using On-Chip SRAM.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Trustworthy Embedded Devices, 2014

2013

TEEM: A User-Oriented Trusted Mobile Device for Multi-platform Security Applications.

[BibT_eX]

[DOI]

Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

2011

A Property-Based Attestation Scheme with the Variable Privacy.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Trust, 2011

Qianying Zhang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...