簡 歷：
謝夢瑤，女，中國科學院計算技術研究所副研究員，碩士生導師，2022年于中國科學院計算技術研究所獲計算機系統(tǒng)結構專業(yè)博士學位。長期從事程序分析與優(yōu)化、計算機系統(tǒng)安全等研究，包括二進制代碼的分析變換及優(yōu)化、動態(tài)編譯、操作系統(tǒng)安全、處理器安全增強設計等。相關成果在體系結構、系統(tǒng)安全等領域的頂級國際會議/期刊上發(fā)表CCF-A類論文10余篇，申請/授權專利9項。連續(xù)兩年在ACM CCS(CCF-A)上獲獎，分別是CCS 2022最佳論文提名獎和CCS 2023杰出論文獎。主持1項國家制高點任務子課題，經費1314萬，同時作為骨干人員承擔中科院戰(zhàn)略性先導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]? 寇振中,周卿,黃韜,謝夢瑤,王喆,武成崗.一種優(yōu)化方法、優(yōu)化裝置和計算設備：中國，申請?zhí)枺?02310686717.5
[2]? 王喆，武成崗，謝夢瑤. 一種基于CET 機制的保護通用內存完整性的方法：國際專利，申請?zhí)枺篜CT/CN2022/126374 （已受理）
[3]? 王喆，武成崗，謝夢瑤. 一種基于Intel CET 機制的保護通用內存完整性的方法：中國，申請?zhí)枺?021114305876 （已受理）
[4]? 王喆，武成崗，謝夢瑤，張曉峰，賴遠明，康妍. 面向應用程序的特權硬件資源訪問方法及電子設備：中國，CN111737656B（已授權）
[5]? 王喆; 武成崗; 謝夢瑤; 張曉峰; 賴遠明; 康妍; 曾凱; 一種容器虛擬化安全加固裝置及方法，2021-2-5 至2041-2-5, 中國，CN110059453B（已授權）
[6]? 武成崗，王喆，唐博文，賈力陳，謝夢瑤. 一種微架構：中國，CN202010054119.2，2020-01-17. （已授權）
[7]? 武成崗，王喆，唐博文，賈力陳，謝夢瑤. 一種基于緩存劃分及回滾的處理器瞬態(tài)攻擊防御方法：中國，CN202010053240.3，2020-01-17.（已授權）
[8]? 武成崗，王喆，唐博文，賈力陳，謝夢瑤. 一種基于緩存回滾以防御處理器瞬態(tài)攻擊的裝置：中國，CN202010053237.1，2020-01-17. （已授權）
[9]? 武成崗，王喆，唐博文，賈力陳，謝夢瑤. 一種基于緩存隨機無效的處理器瞬態(tài)攻擊防御方法：中國，CN202010053213.6，2020-01-17. （已授權）
科研項目：
[1] 軟硬件協(xié)同的高性能二進制翻譯軟件（1314萬），國家制高點項目，子課題負責人；
[2] 自動功能驗證及流片（1626.15萬），基礎與交叉前沿科研（B），課題骨干；
[3] RISC-V等指令集軟硬協(xié)同二進制翻譯技術研發(fā)（6500萬），企業(yè)委托項目，課題骨干；
[3] 內核態(tài)app的性能與安全合作項目（185萬），企業(yè)委托項目，課題骨干；
[4] 漏洞PoC驅動的雙回路模糊測試技術研究（55萬），面上項目，課題骨干；
獲獎及榮譽：
[1] CCF體系結構博士學位論文激勵計劃提名獎，2024年
[2] CCF全國高性能計算學術年會，程序委員會委員，2024
[3] CCS 2023(CCF-A)杰出論文獎，2023年
[4] CCS 2022(CCF-A)最佳論文提名獎，2022年
[5] 中國科學院大學優(yōu)秀畢業(yè)生，2022年
[6] 北京市優(yōu)秀畢業(yè)生，2022年
[7] 中國科學院大學領雁獎金獎，2021年
[8] 國家級一流本科課程，2020年
謝夢瑤 副研究員
研究方向：
所屬部門：處理器芯片重點實驗室
導師類別：
聯(lián)系方式：xiemengyao@ict.ac.cn
個人網頁：https://mengyaoxie922.github.io/index/