Yueyang Feng

According to our database, Yueyang Feng authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool.

Xiwei Wu, Yueyang Feng, Xiaoyang Lu, Tianchuan Lin, Kan Liu, Zhiyi Wang, Shushu Wu, Lihan Xie, Chengxi Yang, Hongyi Zhong, Naijun Zhan, Zhenjiang Hu, Qinxiang Cao

CoRR, May, 2025

VEP: A Two-stage Verification Toolchain for Full eBPF Programmability.

Xiwei Wu, Yueyang Feng, Tianyi Huang, Xiaoyang Lu, Shengkai Lin, Lihan Xie, Shizhen Zhao, Qinxiang Cao

Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation, 2025

2024

FAMC: Fair and Publicly Auditable Multi-Party Computation with Cheater Detection.

Yong Li, Yueyang Feng, Xi Chen, Jian Zhang, Ruxian Li, Kewei Lv, Dawei Zhang

Proceedings of the Information and Communications Security - 26th International Conference, 2024