
个人简介:
饶雪,博士,taptap188平台教师。2026年6月获西安电子科技大学网络空间安全专业工学博士学位。2026年7月加入taptap188平台从事教学科研工作。研究方向为信息流安全驱动的软件防护。发表论文共3篇,授权专利1项。
学术论文:
[1]Xue Rao, Cong Sun, Dongrui Zeng, Yongzhe Huang, Gang Tan. Sliver: A Scalable Slicing-Based Verification for Information Flow Security. IEEE Transactions on Dependable and Secure Computing 22 (2025): 457-473.(中科院2区Top)
[2]Xue Rao, Cong Sun, Dongrui Zeng. Fine-grained information-flow-driven program partitioning. Comput. Secur. 165 (2026): 104863.(中科院2区)
[3]张淋茂, 孙聪,饶雪. 动态库裁剪增强的程序系统调用限制方法, 计算机科学, 2025, 52(7): 50-57.
发明专利:
[1]马建峰, 饶雪, 孙聪, 习宁, 刘圆庆, 于博尧,魏大卫,高晨阳. 基于 AST 自合成的嵌入式程序数据流安全 验证方法: 中国, 授权号: CN111414632B[P], 授权公开日: 2022.04.19.
联系方式:
1612974030@qq.com