个人简介
张倩颖,博士,讲师/硕士生导师,2015年毕业于中国科学院软件研究所,获得计算机科学与技术工学博士学位,同年加入首都师范大学信息工程学院。
研究方向包括基于硬件安全架构的嵌入式操作系统构建技术,以及嵌入式操作系统及安全敏感代码正确性、安全性、可靠性等属性的形式化分析方法。研究成果包括在CCS、RAID、ScienceBulletin等国际顶级学术会议和国际期刊发表论文30余篇,获得国家授权发明专利5项,国家密码行业标准1项。目前主持国家自然科学基金1项,负责国家重点研发计划子课题1项,主持北京市教委项目1项。现为CCF形式化方法专业委员会委员,SCN、IJNS等国际期刊审稿专家。
教育经历
2008.09–2014.12,中国科学院软件研究所,信息安全国家重点实验室,工学博士
2004.09–2008.06,华中科技大学,计算机科学与技术学院,工学学士
科研项目
1、[主持]国家自然科学基金青年项目,基于可信执行环境的机器人实时操作系统架构及形式化验证研究,2017/01-2019/12
2、[负责]国家重点研发计划“智能机器人”专项项目子课题,机器人操作系统及开发环境研究与应用验证,2018/01-2020/12
3、[主持]北京市教委科技计划一般项目,基于TrustZone技术的嵌入式双操作系统架构研究,2019/01-2021/12
4、[参与]国家密码管理局密码检测标准项目,可信计算可信密码模块符合性检测规范,2018/07-2019/06
5、[参与]国家自然科学基金重点项目,可信计算环境测评理论和技术研究,2012/01-2015/12
6、[主持]北京高等学校高水平人才交叉培养“实培计划”项目,Linux安全管理系统界面开发,2019/06-2020/05
7、[主持]北京高等学校高水平人才交叉培养“实培计划”项目,基于2D视频重建3D人体运动姿态及识别技术研究,2019/06-2020/05
8、[主持]北京高等学校高水平人才交叉培养“实培计划”项目,嵌入式系统安全管理程序开发,2018/06-2019/05
9、[主持]北京高等学校高水平人才交叉培养“实培计划”项目,基于二维图片/视频的三维人体体型建模及识别技术研究,2017/06-2018/05
10、[主持]北京高等学校高水平人才交叉培养“实培计划”项目,基于机器学习的人头发三维模型重建技术研究,2017/06-2018/05
近期论文
查看导师新发文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
[1]ShijunZhao,QianyingZhang*,QinYu,WeiFeng,DengguoFeng.SecTEE:ASoftware-basedApproachtoSecureEnclaveArchitectureUsingTEE.InProceedingsofthe26thACMConferenceonComputerandCommunicationsSecurity(CCS),2019(CCF-A)
[2]ShijunZhao,QianyingZhang*,YuQin,WeiFeng,ZhiningLv,DengguoFeng.Minimalkernel:AnoperatingsystemarchitectureforTEEtoresistboardlevelphysicalattacks.InProceedingsofthe22ndInternationalSymposiumonResearchinAttacks,IntrusionsandDefenses(RAID),2019(CCF-B)
[3]DongxuJi,QianyingZhang*,ShijunZhao,ZhipingShi,YongGuan.MicroTEE:DesigningTEEOSbasedonthemicrokernelarchitecture.InProceedingsofthe18thIEEEInternationalConferenceonTrust,SecurityandPrivacyinComputingandCommunications(TrustCom),2019(CCF-C,BestTrustTrackPaperAward)
[4]MeiyuZhang,QianyingZhang*,ShijunZhao,ZhipingShi,YongGuan.SoftME:Asoftware-basedmemoryprotectionapproachforTEEsystemtoresistphysicalattacks.SecurityandCommunicationNetworks,2019(CCF-C)
[5]QianyingZhang,ZhipingShi.AnewwaytopreventUKSattacksusinghardwaresecuritychips.InternationalJournalofNetworkSecurity,2017,19(5):823-831
[6]QianyingZhang,ShijunZhao,YuQin,DengguoFeng.FormalanalysisofTPM2.0keymanagementAPIs.ChineseScienceBulletin,2014,59(32):4210-4224(SCI)
[7]QianyingZhang,ShijunZhao,LiXi,WeiFeng,DengguoFeng.Mdaak:Aflexibleandefficientframeworkfordirectanonymousattestationonmobiledevices.InProceedingsofthe10thInternationalConferenceonInformationandCommunicationsSecurity(ICICS),2014:31-48(CCF-C)
[8]QianyingZhang,ShijunZhao,YuQin,DengguoFeng.ImprovingthesecurityoftheHMQVprotocolusingtamper-proofhardware.InProceedingsofthe10thInternationalConferenceonSecurityandPrivacyinCommunicationNetworks(SecureComm),2014:343-361(CCF-C)
[9]张美玉,张倩颖*,孟子琪,施智平,关永.实时嵌入式双操作系统架构研究综述.电子学报,2018,46(11):2787-2796
[10]张倩颖,冯登国,赵世军.TCM密钥迁移协议设计及形式化分析.软件学报,2015,(09):2396-2417
[11]张倩颖,冯登国,赵世军.基于安全芯片的平台身份证明方案研究.通信学报,2014,35(8):95-106
[12]张倩颖,赵世军,冯伟,秦宇,冯登国.跨平台的可信执行环境模块方案研究.通信学报,2014,35(Z2):72-85