负责人

avatar华保健,中国科学技术大学软件学院教师,目前主要研究方向包括程序设计语言的设计与实现、软件安全、移动安全等。近几年的主要研究兴趣在用软件技术保障移动平台安全上,为移动安全提供坚实基础。

梦想成果

移动互联网的时代已经到来,我们的研究目标是研究移动互联时代的前沿安全技术,致力于用安全技术改变互联时代的面貌。

项目综述

项目研究了用符号执行的技术静态检测安卓应用安全漏洞的主要方法和技术;构建了软件的原型系统,目前该系统已经在腾讯公司内部部署评测;基于该项目支持发表论文三篇。

我的感言

感谢该项目对青年学者的信任,是前进的最初推动力。