9月24日，西安电子科技大学陈晓峰教授应邀为我院师生作题为《可验证计算技术》的学术报告。张恩院长以及相关科研教师聆听了本次报告。报告会由张恩院长主持。
在报告中，陈教授首先介绍了外包计算的背景、架构和安全模型。然而，如何在保护用户隐私的同时，确保外包计算结果的正确性和可信度，是当前面临的重要挑战。然后陈教授介绍了可验证计算技术的概念和关键技术。最后，陈教授分享了当前该领域的最新研究成果和研究进展。在互动环节，师生们积极提问，陈教授耐心地一一解答。现场气氛热烈，学术氛围浓厚。
此次报告不仅拓宽了我院师生的学术视野，让大家对可验证计算技术有了更深入的了解，也为我院相关领域的科研工作提供了新的思路和启发。
专家介绍：
陈晓峰，工学博士，华山学者领军教授，入选国家高层次人才计划 (2017)，IEEE Fellow (2025), AAIA Fellow (2025), 互联网基金会网络安全优秀教师 (2018)。主要研究领域为公钥密码学、云计算安全、数据安全等。担任 IEEE TDSC、IEEE TKDE、电子与信息学报、密码学报等多个著名期刊的编委，AisaCCS 2016、NSS 2014等多个国际知名会议的大会主席。研究成果获得陕西省青年科技奖，中国密码学会密码创新奖，陕西省自然科学奖等多项奖励。目前发表学术论文Google Scholar 引用 1.7 万余次；多次入选 Clarivate、 Elsevier 高被引学者。担任“移动互联网安全”111学科创新引智基地常务副主任，西安市国际科技合作基地主任，中国密码学会理事和算法专委会副主任等
（计算机与信息工程学院 苗俊峰）