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