学习强国

微信

山大发布

抖音

视频号

微博

小红书

快手

哔哩哔哩

山东大学报

一句话新闻

耶鲁大学罗宁博士访问网安学院并作学术报告

发布:山东大学融媒体中心 日期:2024年06月17日

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


【供稿单位:网络空间安全学院     作者:肖安琪 魏普文    责任编辑:蒋晓涵】