2017年3月20日上午，中科院信息工程研究所副研究員孫思維在計算機學院做了題目為“約束求解在對稱密碼分析中的應用”的學術報告。孫思維是中國科學院信息工程研究所副研究員。2013年于中國科學院大學獲博士學位。2015年入選中國科學院信息工程研究所“青年之星”人才培養計劃，2016年入選中國科學院“青年創新促進會”會員。主要研究興趣為分組密碼算法的自動化分析與設計，以及密碼算法部件的優化和安全實現。參與了973等多個重要課題與項目，主持國家自然科學基金青年基、密碼專項等多個項目，并承擔國家相關部門任務2項。
本次講座主要講解如何基于約束編程求解對稱密碼。講座首先介紹了目前常見的加密算法，由加密算法的算法求解方式，引入差分分析。由于差分不均勻的特性使攻擊者可以攻擊密碼，因此找到一種合适的密碼加密方式對密碼的保密性至關重要。而約束規劃作為求解數據量很大的一些難解問題具有很好的性能，并且約束編程解決差分分析在16年被提出。于是講座接着介紹了如何通過約束編程求解對稱密碼，從而實現了方便快速的良好效果
報告最後，孫思維副研究員與現場師生進行了探讨交流，就約束求解與對稱密碼等問題進行了充分的讨論，為現場師生進行相關方向的研究提供了較好和較新的思路。最後整個講座在熱烈的掌聲當中結束，參加此次報告的同學們均表示收獲頗豐。
