4月13日下午4点，受公司网络信息安全团队负责人杨波教授邀请，西安电子科技大学陈晓峰教授在公司学术报告厅做了题为“大数据库的高效可验证更新技术”的学术报告。公司部分教师、博硕士研究生参加了本次报告。报告由杨波教授主持。

 陈晓峰，西安电子科技大学教授、博士生导师，教育部新世纪优秀人才支持计划入选者，主要研究方向是：应用密码学、云计算安全等。陈晓峰教授目前发表和录用学术论文120 余篇，其中发表(录用)中国计算机学会推荐A 类EEE Transactions 期刊论文15 篇，并连续4 年在顶级的欧洲计算机安全年会ESORICS 上发表学术论文。此外，他还担任国际期刊Computing and Informatics (SCI indexed) 等多个国际期刊的编辑，主持多项国家自然科学基金等项目。

 报告中，陈教授首先介绍了单服务器计算模型与多服务器计算模型，并进行了特性对比，同时以“囚徒困境”这一经典话题，对多服务器云计算模型的运行机制进行了形象而又生动的比喻。随后介绍了如何利用可验证数据库（VDB）使资源受限的用户将大型的数据库安全外包给不信任的服务器的方法。最后，指出Catalano和Fiore在PKC上提出了基于矢量承诺的高效可验证VDB方案容易受到所谓的自动更新（FAU）攻击的问题，并基于承诺绑定的思想提出一个新的VDB方案，该方案不仅是可公开验证的，且可避免自动更新攻击。

 报告最后，杨波教授对本次报告作了简短总结，并再次感谢陈教授的到来，随后，陈晓峰教授耐心的解答了在座师生提出的问题。陈教授的报告生动幽默而又不失严谨，开阔了在座员工的学术视野，增强了员工对于云计算研究方向的热情，为公司员工在相关领域的研究提供了新的思路。