應學院邀請，中國科學院大學孫思維教授将為我院師生作線上學術報告。
報告題目：對稱密碼的自動化分析
報告摘要：對稱密碼因為其高效性和經濟性，成為實際應用最為廣泛的密碼體制之一。深入的安全性分析和攻擊測試，是确保對稱密碼實際安全的重要手段，是對稱密碼設計階段不可或缺的關鍵步驟。本報告簡要介紹對稱密碼自動化分析的理論、方法和工具，并給出一些未來的研究方向。
報告時間：2022年3月27日8:00
報告地點：騰訊會議（會議ID：745 934 765）
邀 請 人：杜小妮 教授
屆時歡迎廣大師生參與交流！
報告人簡介
孫思維，中國科學院大學密碼學院教授，博士生導師。主要研究興趣為對稱密碼算法設計與分析自動化、密碼算法的優化與安全實現以及基于量子計算的對稱密碼分析。近些年在CRYPTO、EUROCRYPT、ASIACRYPT、FSE、USENIX Security、DSN等密碼學和信息安全會議上發表論文40餘篇。參與了973和國家變革性重點研發計劃等多個重要項目，主持國家重點研發計劃課題一項，主持“十三五”密碼發展基金重點項目一項。設計并開發了一套基于混合整數規劃的自動化密碼分析平台，在多個國家相關部門的算法分析與設計任務中得到了重要應用。2020年獲中國密碼學會密碼創新獎二等獎。
