特邀报告----中国科学院软件研究所

特邀报告

特邀报告一

09:10-09:50 报告题目：安全协议—理论与实践

冯登国院士中国科学院软件研究所

安全协议是保障网络安全的核心基础，从使用U盾登录银行账户、网上购物，到安全地收发电子邮件、远程办公，这些已被人们熟悉的服务背后，都离不开安全协议的支持。本报告首先介绍了安全协议的研究背景，其次针对安全协议领域的公开问题和量子计算威胁介绍了我们团队在零知识证明、数字签名和密钥交换等安全协议方面的创新成果，最后以可信计算为应用背景介绍了直接匿名证明协议的实践应用。

09:50-10:30 报告题目：计算可视媒体：从理论到实践

胡事民教授清华大学计算机科学与技术系

人类接受信息的80%以上来自视觉。作为人类信息传播的主要载体，可视媒体已经从信号采集-传输-显示的信息数字化时代，步入内容按需生成的信息智能化时代。计算可视媒体作为图形学发展的延伸，强调计算机图形学和计算机视觉、图像视频处理、人工智能的结合，实现符合视觉认知的可视媒体高效智能处理，已成为一个重要的学术界所认可的重要学科方向。面对互联网可视媒体海量、异质、无序涌现等特点，计算可视媒体亟需高效的理论体系支撑。本报告将介绍清华大学图形学实验室在计算可视媒体理论体系方面开展的一系列探索与实践：利用可视媒体内蕴几何结构的本质特征，建立了可视媒体几何结构抽取和内嵌的理论与方法，提出了可视媒体特征敏感度量及三维几何重建方法、以及海量可视媒体组织与内容合成方法，研制并开源了基于元算子融合和统一计算图的自主深度学习框架，解决了实际应用中大规模流程工厂重建和海量街景构建的难题。

特邀报告二

10:45-11:10 报告题目：认知启发的自然语言理解

孙乐研究员

11:10-11:35 报告题目：安全攸关信息物理融合系统形式验证
薛白副研究员

11:35-12:00 报告题目：感知融合的智能穿戴关键技术
韩腾副研究员