系统软件安全和软件可靠性评测等
项目概况
- 1） 系统软件安全和软件可靠性评测：如何保证现有系统软件的安 全性和可靠性，是当今我国计算机产业发展的关键问题。清华大学 操作系统实验室在 USENIX ATC、IEEE S&P、IEEE TC 等国际会议和 期刊上发表论文 40 余篇，已授权 30 多项发明专利；自主研发了一 系列自动化内核缺陷检测工具，并在 Linux、FreeBSD、NetBSD 等 主流开源操作系统中，总共发现了近 2000 个代码缺陷，在操作系 统界备受关注；异常处理代码测试工具 EH-Test 已经成功应用到华 为存储系统的自动测试。研究团队还在 Android、IOS 等主流移动 操作系统中发现了多个重大安全漏洞，其中对苹果系统的漏洞检测 工作受邀到 2016 年国际黑客大会上报告，并且被美国福布斯杂志 报道。 2） 场景和情境感知的智能机器人：移动服务机器人主要 通过视觉感知环境，针对可视媒体信息的高效智能理解是智能机器 人交互和应用的基础。清华大学可视媒体实验室在 ACM TOG, IEEE TVCG,CVPR 等国际顶级会议和期刊上发表论文 80 多篇，授权专利 50 余件。提出了一系可视媒体的的智能合成和理解方法；提出了 场景和人物的高精度三维重建、分割识别以及基于移动机器人的多 传感器信息融合和语义融合等方法，单篇论文引用超过 2500 次， 相关成果获国家科技奖多项。
团队介绍
Copyright @ 2019 新乡科技服务中心 豫ICP备19023816号