个人简介
招生专业
083900-网络空间安全
招生方向
系统安全，可信计算
软件安全，物联网安全
应用密码学
教育背景
2005-09--2009-01 中国科学院软件研究所 博士学位
工作简历
2009-03~现在, 中国科学院软件研究所, 助理研究员，高级工程师
奖励信息
（1） 中国电子学会电子信息科学技术奖一等奖, 一等奖, 部委级, 2010
专利成果
（ 1 ） 基于安全需求的远程证明方法及其系统, 发明, 2007, 第 2 作者, 专利号: 2007100988143
（ 2 ） 一种基于移动设备的可信模块及其可信服务方法, 发明, 2013, 第 3 作者, 专利号: 201310072567.5
（ 3 ） 一种虚拟环境信任构建方法, 发明, 2008, 第 2 作者, 专利号: 200810119282.1
（ 4 ） 一种基于安全芯片的工控系统可信环境管控方法和平台, 发明, 2014, 第 3 作者, 专利号: 201410827818.0
（ 5 ） 一种基于可信执行环境的系统配置属性证明方法, 发明, 2017, 第 3 作者, 专利号: 201711137938.8
（ 6 ） 一种基于Merkle树的Linux程序运行时验证与管控方法和系统, 发明, 2018, 第 5 作者, 专利号: 201811488026.X
（ 7 ） 一种基于日志的嵌入式设备控制流证明方法, 发明, 2019, 第 5 作者, 专利号: 201910119686.9
发表著作
（1） Trusted Computing: Principle and Practice, Walter de Gruyter Publish, German., 2018-02, 第 2 作者
科研项目
（ 1 ） 下一代可信计算平台远程证明理论与方法研究, 主持, 国家级, 2013-01--2015-12
（ 2 ） 可信计算环境测评理论与技术研究, 参与, 国家级, 2012-01--2015-12
（ 3 ） InTrust工控可信计算安全平台研制, 主持, 院级, 2015-09--2019-09
（ 4 ） 同方可信Android系统研发, 主持, 院级, 2017-05--2019-05
（ 5 ） 面向智能嵌入式设备的轻量级证明机制研究, 参与, 国家级, 2017-01--2019-12
（ 6 ） 电力系统终端嵌入式组件和控制单元安全防护技术（2018YFB0904903）, 主持, 国家级, 2018-07--2021-06
（ 7 ） 可信工控终端进程管控系统定制, 主持, 院级, 2017-10--2019-10
（ 8 ） 物联网设备可信系统和软件安全研究, 主持, 国家级, 2019-01--2022-12
（ 9 ） 工控可信计算平台运维服务项目, 主持, 院级, 2019-01--2020-01
（ 10 ） 基于量子密钥的物联网安全体系和关键技术联合研发, 主持, 国家级, 2020-06--2023-05
（ 11 ） 基于主动免疫的安全防护平台关键技术研究, 主持, 院级, 2020-05--2022-05
研究领域
系统安全、可信计算、物联网安全、工控安全、应用密码学；
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
（1） 创新发展中的可信计算理论与技术, Trusted Computing Theory and Technology In Innovation-driven Development, 中国科学: 信息科学, 2020, 通讯作者
（2） Android框架层完整性度量方案, 计算机系统应用, 2019, 通讯作者
（3） SecTEE: A Software-based Approach to Secure Enclave Architecture Using TEE, ACM SIGSAC Conference on Computer and Communications Security(CCS 2019), 2019, 第 3 作者
（4） Minimal Kernel: An Operating System Architecture for TEE to Resist Board Level Physical Attacks, the 21st International Symposium on Research in Attacks, Intrusions, and Defenses, 2019, 第 3 作者
（5） Secure Code Updates for Smart Embedded Devices based on PUFs, 16th International Conference on Cryptology And Network Security, 2018, 第 2 作者
（6） TICS: Trusted Industry Control System based on Hardware Security Module, the 9th International Conference on Symposium on Cyberspace Safety and Security（CSS 2017）, 2017, 第 1 作者
（7） Formal Analysis of HMAC Authorization in the TPM2.0 Specification, IET Information Security, 2017, 通讯作者
（8） Secure Code Updates for Smart Embedded Devices based on PUFs, 16th International Conference on Cryptology And Network Security (CANS 2017), 2017, 第 2 作者
（9） Computational Soundness Results for Stateful Applied Pi Calculus, 5th International Conference on Principles of Security and Trust, 2016, 通讯作者
（10） 基于 TrustZone 的可信移动终端云服务安全接入方案., 软件学报, 2016, 第 3 作者
（11） Formal Analysis of Enhanced Authorization in the TPM 2.0, AsiaCCS 2015, 2015, 第 2 作者
（12） DAA-TZ: An Efficient DAA Scheme for Mobile Devices using ARM TrustZone, Trust and Trustworthy Computing, 2015, 第 3 作者
（13） Formal Analysis of TPM2.0 Key Management APIs, Chinese Science Bulletin, 2014, 第 3 作者
（14） Mobile Trusted Agent(MTA):Build user-based trust for general-purpose computer platform, The 7th International Conference on Network and System Security (NSS 2013), 2013, 第 2 作者
（15） Formal analysis of ECC-based Direct Anonymous Attestation schemes in Applied Pi Calculus, The 16th Information Security Conference (ISC 2013), 2013, 第 2 作者
（16） A Formal Analysis of TPM Commands for Compromising User Key, China Communication, 2012, 第 1 作者
（17） DAA Protocol Analysis and Verification, Third International Conference on Trusted Systems (INTRUST 2011), 2011, 第 1 作者
（18） A property-based attestation scheme with the variable privacy, The 6th International Conference on Frontier of Computer Science and Technology (FCST-11), 2011, 第 1 作者
（19） A Property-Based Attestation Protocol for TCM, Science China Information Sciences, 2010, 第 2 作者
（20） An anonymous property-based attestation protocol from bilinear maps, The 8th IEEE/IFIP International Symposium on Trusted Computing and Communications(TrustCom’09), 2009, 第 1 作者
京公网安备 11010802027423号