简 历：
谢梦瑶，女，中国科学院计算技术研究所副研究员，硕士生导师，2022年于中国科学院计算技术研究所获计算机系统结构专业博士学位。长期从事程序分析与优化、计算机系统安全等研究，包括二进制代码的分析变换及优化、动态编译、操作系统安全、处理器安全增强设计等。相关成果在体系结构、系统安全等领域的顶级国际会议/期刊上发表CCF-A类论文10余篇，申请/授权专利9项。连续两年在ACM CCS(CCF-A)上获奖，分别是CCS 2022最佳论文提名奖和CCS 2023杰出论文奖。主持1项国家制高点任务子课题，经费1314万，同时作为骨干人员承担中科院战略性先导B项目、国家自然科学基金面上项目等。曾获CCF体系结构博士学位论文激励计划提名奖，担任2024年CCF体系结构博士交流与学术辅导会议主席。
2024年11月 — 今：中科院计算所，副研究员
2022年7月 — 2024年10月：中科院计算所，特别研究助理
2015年9月 — 2022年6月：中国科学院大学，中科院计算所，博士生
2011年9月 — 2015年6月：郑州大学，信息工程学院，本科生
主要论著：
会议文章：
[1] Jiali Xu, Mengyao Xie (co-first), Chenggang Wu, Yinqian Zhang, Qijing Li, Xuan Huang, Yuanming Lai, Yan Kang, Wei Wang, Qiang Wei, and Zhe Wang. PANIC: PAN-assisted Intra-process Memory Isolation on ARM. In Proceedings of the ACM Conference on Computer and Communications Security 2023. (CCF-A, Distinguished Paper Award)
[2] Mengyao Xie, Chenggang Wu, Yinqian Zhang, Jiali Xu, Yuanming Lai, Yan Kang, Wei Wang and Zhe Wang*. CETIS: Retrofitting Intel CET for Generic and Efficient Intra-process Memory Isolation. In Proceedings of the ACM Conference on Computer and Communications Security 2022. (CCF-A, Best paper Honorable Mention Award)
[3] Ziwei Huang, Mengyao Xie, Shibo Tang, Zihao Chang, Zhicheng Yao, Yungang Bao and Sa Wang. INS:Identifying and Mitigating Performance Interference in Clouds via Interference-Sensitive Paths. In Proceedings of the 2024 ACM Symposium on Cloud Computing (SoCC). (CCF-B)
[4] Peihua Zhang, Chenggang Wu, Xiangyu Meng, Yinqian Zhang, Mingfan Peng, Shiyang Zhang, Bing Hu, Mengyao Xie, Yuanming Lai, Yan Kang and Zhe Wang*. HIVE: A Hardware-assisted Isolated Execution Environment for eBPF on AArch64. In Proceedings of the 33th USENIX Security Symposium, 2024. (CCF-A)
[5] Jiming Wang, Yan Kang, Chenggang Wu*, Yuhao Hu, Yue Sun, Jikai Ren, Yuanming Lai, Mengyao Xie, Charles Zhang, Tao Li and Zhe Wang. OptFuzz: Optimization Path Guided Fuzzing for JavaScript JIT Compilers. In Proceedings of the 33th USENIX Security Symposium, 2024. (CCF-A)
[6] Zhe Wang, Chenggang Wu*, Mengyao Xie, Yinqian Zhang, Kangjie Lu, Xiaofeng Zhang, Yuanming Lai, Yan Kang, and Min Yang. (2020, May). Seimi: Efficient and secure smap-enabled intra-process memory isolation. In 2020 IEEE Symposium on Security and Privacy (S&P). （CCF-A）
[7] Zhe Wang, Chenggang Wu*, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng and Zhiping Shi. SafeHidden: An Efficient and Secure Information Hiding Technique Using Rerandomization. In Proceedings of the 28th USENIX Security Symposium, 2019.（CCF-A）
期刊文章:
[1] Chenggang Wu, Mengyao Xie, Zhe Wang*, Yinqian Zhang, Kangjie Lu, Xiaofeng Zhang, Yuanming Lai, Yan Kang, Min Yang, and Tao Li. Dancing with Wolves: An Intra-process Isolation with Privileged Hardware. In IEEE Transactions on Dependable and Secure Computing (TDSC), 2022. (CCF-A)
[2] Peihua Zhang, Chenggang Wu, Hanzhi Hu, Lichen Jia, Mingfan Peng, Jiali Xu, Mengyao Xie, Yuanming Lai, Yan Kang, and Zhe Wang. Shining Light on the Inter-procedural Code Obfuscation: Keep Pace with Progress in Binary Diffing. In ACM Transactions on Architecture and Code Optimization (TACO'24). (CCF-A)
[3] Bowen Tang, Chenggang Wu, Pen-Chung Yew, Yinqian Zhang, Mengyao Xie, Yuanming Lai, Yan Kang, Wei Wang, Qiang Wei and Zhe Wang*. (2023). SPECWANDS: An Efficient Priority-based Scheduler Against Speculation Contention Attacks. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). (CCF-A)
[4] Zhe Wang, Chenggang Wu*, Yinqian Zhang, Bowen Tang, Pen-Chung Yew, Mengyao Xie, Yuanming Lai, Yan Kang, Yueqiang Cheng, and Zhiping Shi. Making Information Hiding Effective Again. In IEEE Transactions on Dependable and Secure Computing (TDSC), 2021. (CCF-A)
专利：
[1] 寇振中,周卿,黄韬,谢梦瑶,王喆,武成岗.一种优化方法、优化装置和计算设备：中国，申请号：202310686717.5
[2] 王喆，武成岗，谢梦瑶. 一种基于CET 机制的保护通用内存完整性的方法：国际专利，申请号：PCT/CN2022/126374 （已受理）
[3] 王喆，武成岗，谢梦瑶. 一种基于Intel CET 机制的保护通用内存完整性的方法：中国，申请号：2021114305876 （已受理）
[4] 王喆，武成岗，谢梦瑶，张晓峰，赖远明，康妍. 面向应用程序的特权硬件资源访问方法及电子设备：中国，CN111737656B（已授权）
[5] 王喆; 武成岗; 谢梦瑶; 张晓峰; 赖远明; 康妍; 曾凯; 一种容器虚拟化安全加固装置及方法，2021-2-5 至2041-2-5, 中国，CN110059453B（已授权）
[6] 武成岗，王喆，唐博文，贾力陈，谢梦瑶. 一种微架构：中国，CN202010054119.2，2020-01-17. （已授权）
[7] 武成岗，王喆，唐博文，贾力陈，谢梦瑶. 一种基于缓存划分及回滚的处理器瞬态攻击防御方法：中国，CN202010053240.3，2020-01-17.（已授权）
[8] 武成岗，王喆，唐博文，贾力陈，谢梦瑶. 一种基于缓存回滚以防御处理器瞬态攻击的装置：中国，CN202010053237.1，2020-01-17. （已授权）
[9] 武成岗，王喆，唐博文，贾力陈，谢梦瑶. 一种基于缓存随机无效的处理器瞬态攻击防御方法：中国，CN202010053213.6，2020-01-17. （已授权）
科研项目：
[1] 软硬件协同的高性能二进制翻译软件（1314万），国家制高点项目，子课题负责人；
[2] 自动功能验证及流片（1626.15万），基础与交叉前沿科研（B），课题骨干；
[3] RISC-V等指令集软硬协同二进制翻译技术研发（6500万），企业委托项目，课题骨干；
[3] 内核态app的性能与安全合作项目（185万），企业委托项目，课题骨干；
[4] 漏洞PoC驱动的双回路模糊测试技术研究（55万），面上项目，课题骨干；
获奖及荣誉：
[1] CCF体系结构博士学位论文激励计划提名奖，2024年
[2] CCF全国高性能计算学术年会，程序委员会委员，2024
[3] CCS 2023(CCF-A)杰出论文奖，2023年
[4] CCS 2022(CCF-A)最佳论文提名奖，2022年
[5] 中国科学院大学优秀毕业生，2022年
[6] 北京市优秀毕业生，2022年
[7] 中国科学院大学领雁奖金奖，2021年
[8] 国家级一流本科课程，2020年
谢梦瑶 副研究员
研究方向：程序分析与优化；计算机系统安全
所属部门：处理器芯片重点实验室
联系方式：xiemengyao@ict.ac.cn
个人网页：https://mengyaoxie922.github.io/index/