講座主題：全同态加密數據庫及編譯器設計

主講人：邊松

時 間：2024年5月13日（星期一）15:00-17:00

地 點：伟德BETVlCTOR1946靈壽校區學術報告廳

主講人簡介：

  邊松，北京航空航天大學網絡空間安全學院副教授，IEEE與CCF會員。他的主要研究方向是同态加密、隐私保護計算與密碼軟硬件協同加速，于ACM CCS、NDSS、USENIX Security、VLDB及DAC等高水平會議及期刊發表論文30餘篇，其中以第一或通訊作者身份發表CCF-A類論文12篇，獲CCS'23傑出論文獎。主持國家重點研發計劃青年科學家、國家自然基金委青年基金等項目。他是多個國際會議與期刊的程序委員與審稿人，包括AAAI、ICML、IEEE TDSC、TIFS及TCAD。

講座内容：

全同态加密是一種可以在不傳輸解密密鑰的前提下在密文上執行任意（圖靈完備）計算的密碼算法，在外包計算及雙方安全計算場景中有廣泛應用。本報告探讨如何基于全同态加密實現全密态數據庫，以及如何實現全同态算法的自動編譯；主要介紹過濾、線性及非線性聚合、排序及分組等關鍵數據庫算子的全同态算法實現；同時，本報告将介紹基于MILR的全同态算法編譯框架，包括數據類型的中間表示以及如何利用這一框架實現明文程序向同态加密算法的自動映射。

終審：黨委宣傳部