7月12日，應計算機科學國家重點實驗室邀請，美國克拉克森大學Christopher Lynch教授到軟件所進行學術交流，并作題為Equational Reasoning and Unification in Protocol Verification的學術報告，報告會由張昱副研究員主持。

在如今的互聯網環境下，加密協議可以說是無處不在。隨著網絡技術的發展和網絡使用的頻繁，對安全性的要求也越來越高。在使用軟件時，即使是存在惡意入侵者的情況下，用戶也必須確保協議的正確性。目前，安全協議驗證仍然是信息安全領域的一個主要研究課題，針對各種新型的網絡應用，新的協議也不斷的被提出來。然而，協議的正確性和安全性始終是協議開發者和使用者最關心的問題，也是最難以驗證的。在報告中，Lynch教授介紹了對基于equational reasoning和unification技術對安全協議進行自動化驗證的研究。報告中，他還闡述了關于系統的介紹了安全協議形式化驗證方面的相關研究。

報告結束后，與會人員就協議驗證等問題與Lynch教授進行了深入交流。

Christopher Lynch教授現任美國克拉克森大學教授，致力于自動推理、重寫系統、協議驗證等方面的研究。目前，他擔任克拉克森大學計算機系主任。

Christopher Lynch教授作報告