報告題目：操作系統中的層級内隔離技術

報告人：中國科學院計算技術研究所 武成崗研究員

報告時間：2024年1月9日（周二）上午9:30

報告地點：88858cc永利官网新珈樓B101

報告摘要：

内存錯誤漏洞是攻擊者對操作系統發起攻擊的一個重要渠道，通過層級内的劃分和隔離，可有效地防止攻擊者通過對關鍵數據的破壞來所發起攻擊。本報告将介紹層級内隔離的原理，防禦方法，以及部分代表性的研究成果。

報告人簡介:

武成崗，中國科學院計算技術研究所處理器芯片全國重點實驗室研究員，中關村實驗室核心專家，博士生導師，中國科學院關鍵技術人才，中國計算機學會體系結構專委會主任，從事計算機系統安全技術的研究，旨在系統化方案提升計算機的安全性和可靠性。在程序分析、漏洞挖掘、代碼保護、安全防禦等方面有着較深的技術積累。發表論文30餘篇，部分發表在IEEE Security and Privacy、USENIX Security、CCS、ATC、TDSC、TSE、TCAD、ICSE、ASE、TPDS、TACO、SIGMETRICS、PACT、CGO、VEE、DATE等學術期刊和會議上,2022年獲CCS Best Paper Honorable Mention award，2023年獲CCS Distinguish Paper award. 獲得授權發明專利23項，軟件著作權7項，獲軍隊科技進步二等獎、北京市科學技術二等獎。擔任國際學術會議CGO 2013大會主席、CGO的指導委員會委員，APPT 2013程序委員會主席、另外還擔任PACT 21、PPoPP17~18、CGO15~18、CGO 22、PLDI12等會議的程序委員會委員。

邀請人：王鵑 教授

歡迎老師和同學們積極參加本次學術交流！