毕业于电子科技大学 计算机科学与技术专业

2013年在美国Idaho大学的“美国国家安全实验室”访问学者一年，2014年开始与美国耶鲁大学合作，进行操作系统形式化验证方法和理论的研究

近5年参与国防预研3项、主研国家核高基课题2项、国家863项目2项、广东省产学研项目1项、国家自然科学基金项目1项，还主持微软亚洲研究院、中电30所、中电29所、华为、总装51所、四川长虹、航天二院等多家单位的10多项横向课题。 2000--2005，主研国防科工委“十五”预研项目“高可信嵌入式实时操作系统CRT-OSII”项目； u 2007--2008，主持微软亚洲研究院的项目“高可靠嵌入式操作系统体系结构研究”，； u 2006--2008，主研国家“八六三”高技术研究发展计划项目“实时可信服务软件的构件化研究”； u 2009-2011，主研国家科技重大专项子课题（核高基）项目“数字电视嵌入式软件开发平台”； u 2012-2014，电子科技大学-四川长虹联合实验室项目“智能终端安全保障系统研发”，; u 2011--2013，参与国家自然科学基金项目“安全关键和能量有效的实时任务调度技术研究”； u 2014年-2015，为华为公司设计并实现了一套安全路由器解决方案，提高了华为路由器设备的安全性； u 2012--2014，在“中央高校基金”项目的支持下，研究并完成了MILS架构下多级安全应用的信息流控制模型和机制； u 2012--2014，主持“国家科技重大专项子课题（核高基）”项目，完成了面向移动终端的操作系统安全核心软件模块的研制及软件系统测试； u 2014--2015，主持中国电子集团 30 所“基于嵌入式 Linux的安全技术研究”项目，该成果已应用于某设备中； u 2015—2017，主持电子科技大学—航天二院联合实验室项目“嵌入式安全操作系统相关技术研究”； u 2016—2017，主持电子科技大学—航天二院联合实验室项目“嵌入式虚拟化技术研究”，主要研究嵌入式的硬件虚拟化技术； u 2015-2017，电子科技大学“一校一带”项目“采用多域方法保护移动终端设备的用户隐私” u 2015-2017，中央高校基金“采用定理证明验证多内核系统可信属性的方法研究” u 2017-至今，主持“十三五”全军共用信息系统装备预先研究项目”****”； u 2017-至今，主持四川省科技厅重点研发项目“移动终端安全操作系统”； u 2017-至今，主持国防重点实验室项目“嵌入式操作系统形式化验证方法研究”； u 2016-至今，研究面向以太坊区块链平台的智能合约安全验证方法。

在各种国内外高级期刊或国际学术会议上发表SCI、EI检索的学术论文30多篇， [1] Xia Yang, Zheng Yang , Haiyong Sun , Formal verification for Ethereum smart contract using Coq，International conference of ICICS2018，已投 [2] Xia Yang, Jim Alves-Foss. The formalization and Verification the MAC-policy for SELinux , Computers & Security, 已投 [3] Xia Yang, Zheng Yang and Haiyong Sun, Formalizing and Verifying GP TEE TA Interface Specification using Coq，International conference of CTCIS2017，2017.9 [4] Xia Yang, Shichao Liao， Gemini: A lightweight virtualization architecture for protecting privacy and security of smartphone，International conference of ICESS2016, Chengdu, 2016.8. [EI收录] [5] Xia Yang, Nan Sang, Jim Alves-Foss, Improving the Boot Time of the Android OS. Computer, 2014.7, [SCI收录,IF 1.48] [6] Xia Yang, Peng Shi, Xianzhong Zhang, Jim Alves-Foss, A Fast Boot, A Fast Boot, Fast Shutdown Technique for Android OS Devices ，Computer, 49(7), pp 62-68, 2016/7. [SCI收录,IF 1.48] [7] Xia Yang, Jim Alves-Foss. Security Policy Refinement: High-Level Specification to Low-level Implementation. International conference of PASSAT 2013 : Privacy, Security, Risk and Trust , Washington DC of USA. [EI收录] [8] Xia Yang, Trust-E- A Trusted Embedded Operating System Based on the ARM Trustzone, International conference of ATC2014, [EI收录]. [9] Xia Yang, Xiangyu Zhao, Jian Lei, Guangze Xiong.A Trusted Architecture for ESCS with MLS. International Conference on Embedded Software and Systems (ICESS), 2008, 44~49 [EI收录] [10] Xia Yang, Jian Lei, Guang-Ze Xiong.Inter-partition Information Flow Control for High-Assurance Embedded Systems. Proceedings of the 2009 World Congress on Computer Science and Information Engineering, Los Angeles USA. 2009, 456~461,[EI收录] [11] Jing Luo, Xia Yang. Design and Implementation of Security OS based on the TrustZone, IEEE international conference of ICEMI 2013, [EI收录] [12] 杨霞，杨姗等，针对RTOS的轻量级强制访问控制技术的研究与实现，计算机科学，已录用 [13] 杨霞，多Android系统中设备虚拟化技术的研究与实现，电子科技大学学报，已录用，[EI 期刊] [14] 杨霞，基于TrustZone的指纹识别安全技术研究与实现,计算机科学， 43(7)， pp 147-152， 2016/7 [15] 杨霞，采用数字签名技术的可信启动方法研究，电子科技大学学报， 03期， pp 448-452， 2016/5 [16] 杨霞，采用容器技术的多Android系统的研究与实现，小型微型计算机系统， 07期， pp 1422-1427， 2016/7/15 [17] 杨霞，基于SELinux的三权分离研究，电子科技大学学报， 06期， pp 958-963， 2016/11/30 [18] 杨霞，基于MILS架构的高可信嵌入式操作系统研究，全国抗恶劣环境计算机第25届学术年会， 2015.8 [19] 杨霞，针对嵌入式Linux的设备可信验证技术，计算机应用研究，已录用，[中文核心期刊] [20]杨霞, 桑楠, 雷剑, 等. 嵌入式高可信架构中基于静态模型的调度研究[J]. 航空学报, 2009, 30(012): 2387-2394. [EI收录] [21] 杨霞, 熊光泽, 桑楠, 等. Hades 高可信架构中固定延迟分区实时调度[J]. 计算机辅助设计与图形学学报, 2009, 21(11): 1682-1688. [22] 杨霞, 雷剑, 熊光泽. 支持 MLS 的多层次嵌入式高可信软件架构[J]. 电子科技大学学报, 2009, 38(6): 1001-1005. [23] 杨霞，熊光泽，袁继敏，刘锦德.安全关键系统中防危策略的设计技术研究. 电子科技大学学报, 2006, 35(4): 706~709 [24] Jian Lei, Xia Yang, Guangze Xiong VMM-based real-time embedded systems. International Conference on Embedded Software and Systems (ICESS), 2008, [EI收录] [25]ZHONG-XIANG CHEN, JIN-YU ZHAN, ZONG-BO HAO. A New Static Pointer Dereference Detection Method Based on Finite-StateMachine. IEEE ICACIA 2010:392-397. [EI收录] [26] Zhang Ning, Chunyu Zhang, Yang Xia, Guangze Xiong A Hybrid Distributed Garbage Collection of Active Objects. International Conference on Embedded Software and Systems (ICESS), 2008, [EI收录] [27] 陈志平，雷航，杨霞，李欢嵌入式安全操作系统的研究和实现.计算机工程，2007

申请软件发明专利17项，其中获得授权4项。(1) 杨霞 等，一种基于Android的操作系统快速启动方法，2014.1.22，中国，ZL 2011 1 0189973.0，授权日期：2014年6月，已授权。 (2)杨霞 等，一种基于SEAndroid平台的应用程序动态安全管理方法及系统，中国，201310557930.2，授权日期：2016年3月30日，已授权。 (3) 杨霞 等，一种缩短安卓操作系统启动时间的设置方法，中国，201410784129.6。 (4) 杨霞 等，一种智能终端安全系统及ࣺᯬ