［本站讯］6月14日上午，耶鲁大学博士、西北大学博士后罗宁来访网络空间安全学院，并作题为“Going From Strength to Strength: Synergizing Formal Methods and Cryptography”的学术报告，介绍了其最新成果——如何将密码学集成到形式化方法，在无需泄露软件源代码的条件下实现软件验证；展示了如何将形式化方法应用于密码学，有效降低密码实现复杂度。