Ganxiang Yang

According to our database, Ganxiang Yang authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Highly Automated Verification of Security Properties for Unmodified System Software.

Ganxiang Yang, Wei Qiang, Yi Rong, Xuheng Li, Fanqi Yu, Jason Nieh, Ronghui Gu

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025

A Formal Approach to Multi-Layered Privileges for Enclaves.

Ganxiang Yang, Chenyang Liu, Zhen Huang, Guoxing Chen, Hongfei Fu, Yuanyuan Zhang, Haojin Zhu

Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

2024

ShadowBound: Efficient Heap Memory Protection Through Advanced Metadata Management and Customized Compiler Optimization.

Zheng Yu, Ganxiang Yang, Xinyu Xing

Proceedings of the 33rd USENIX Security Symposium, 2024