软件研究所 秦宇 男
作者：科大科院考研网 发表时间：2020-04-01 来源：研招办
科院考研推荐链接：
研究领域
招生信息
招生专业
083900-网络空间安全
招生方向
可信计算；密码学应用
系统安全；网络安全
系统安全；网络安全
教育背景
2005-09--2009-01 中国科学院软件研究所 博士学位
学历
学位
工作经历
工作简历
2009-03--今 中国科学院软件研究所 助理研究员，高级工程师
社会兼职
教授课程
专利与奖励
奖励信息
（1） 中国电子学会电子信息科学技术奖一等奖，一等奖，部委级，2010
专利成果
（1） 一种基于移动设备的可信模块及其可信服务方法，发明，2013，第3作者，专利号：201310072567.5
（2） 一种虚拟环境信任构建方法，发明，2008，第2作者，专利号：200810119282.1
（3） 基于安全需求的远程证明方法及其系统，发明，2007，第2作者，专利号：2007100988143
（2） 一种虚拟环境信任构建方法，发明，2008，第2作者，专利号：200810119282.1
（3） 基于安全需求的远程证明方法及其系统，发明，2007，第2作者，专利号：2007100988143
出版信息
发表论文
（1） Formal analysis of ECC-based Direct Anonymous Attestation schemes in Applied Pi Calculus，The 16th Information Security Conference (ISC 2013)，2013，第2作者
（2） 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作者
（3） A Formal Analysis of TPM Commands for Compromising User Key，China Communication，2012，第1作者
（4） DAA Protocol Analysis and Verification，Third International Conference on Trusted Systems (INTRUST 2011)，2011，第1作者
（5） A property-based attestation scheme with the variable privacy，The 6th International Conference on Frontier of Computer Science and Technology (FCST-11)，2011，第1作者
（6） A Property-Based Attestation Protocol for TCM，Science China Information Sciences，2010，第2作者
（7） An anonymous property-based attestation protocol from bilinear maps，The 8th IEEE/IFIP International Symposium on Trusted Computing and Communications(TrustCom’09)，2009，第1作者
（2） 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作者
（3） A Formal Analysis of TPM Commands for Compromising User Key，China Communication，2012，第1作者
（4） DAA Protocol Analysis and Verification，Third International Conference on Trusted Systems (INTRUST 2011)，2011，第1作者
（5） A property-based attestation scheme with the variable privacy，The 6th International Conference on Frontier of Computer Science and Technology (FCST-11)，2011，第1作者
（6） A Property-Based Attestation Protocol for TCM，Science China Information Sciences，2010，第2作者
（7） An anonymous property-based attestation protocol from bilinear maps，The 8th IEEE/IFIP International Symposium on Trusted Computing and Communications(TrustCom’09)，2009，第1作者
发表著作
科研活动
科研项目
（1） 下一代可信计算平台远程证明理论与方法研究，主持，国家级，2013-01--2015-12
（2） 面向自助办税服务的可信终端系统研制及终端产品产业化，主持，市地级，2012-06--2014-06
（3） 可信计算环境测评理论与技术研究，参与，国家级，2012-01--2015-12
（2） 面向自助办税服务的可信终端系统研制及终端产品产业化，主持，市地级，2012-06--2014-06
（3） 可信计算环境测评理论与技术研究，参与，国家级，2012-01--2015-12
参与会议
合作情况
项目协作单位
指导学生
