宋佳(Cindy)，博士.D.

• 网络安全
• 高保证计算系统
• 安全策略设计

宋佳是bet365亚洲官网计算机科学系的研究助理教授. 她在中国四川大学获得信息安全学士学位. 2012年和2014年分别获得美国bet365亚洲官网计算机科学硕士和博士学位, 分别. 在2015年加入CS部门之前, 宋是bet365亚洲官网安全与可靠系统中心(CSDS)的博士后. 她的研究兴趣包括计算机系统、软件和网络的安全问题. 宋的研究主要集中在设计上, 高保证计算系统的实施和验证以及安全策略的制定.

• 贾松和吉姆·阿尔维斯-福斯, DARPA网络大挑战:竞争对手的视角, 第2部分,IEEE安全与隐私, 卷14, 问题1, pp 76-81, 2016.
• 贾松和吉姆·阿尔维斯-福斯, DARPA网络大挑战:竞争对手的视角,IEEE安全与隐私, 卷13, 问题6, pp 72-76, 2015.
• 贾松和吉姆·阿尔维斯-福斯, 通过使用安全标签将RTEMS扩展到多用户系统,2015网络安全研讨会.
• 吉姆Alves-Foss, 贾的歌, Stuart Steiner, Lawrence Kerr和A. 斯科特Amack. 评估安全标签在安全策略执行机制中的使用,第48届夏威夷国际系统科学会议, 2015.
• 吉姆Alves-Foss, 贾的歌, Stuart Steiner和Saeede Zakeri, “支持多个独立安全级别(MILS)兼容系统的安全标记架构硬件的新操作系统:AFRL项目最终报告。,” U. 他是爱达荷州安全可靠系统技术中心的主任. 代表. afrl - ri - rs - tr - 2014 - 088, 2014.
• 贾松和吉姆·阿尔维斯-福斯. 增强操作系统安全性的硬件安全标签,“信息系统问题”, 卷14, 问题1, pp 61-71, 2013.
• 宋佳和吉姆Alves-Foss，“零内核操作系统的安全标记”，在Proc. 第46届夏威夷国际系统科学会议，pp 5049-5058, 2013.
• 贾松和吉姆·阿尔维斯-福斯, “零复制技术的性能评估”,国际计算机科学与安全杂志, 6卷, 问题4, pp 256-268, 2012.
• 吉姆Alves-Foss, 晓惠他, 宋佳, 多核架构的分层保证方案,在进行中. 第五届分层保障研讨会，2011年12月.

• DARPA网络挑战赛决赛团队成员，2015年7月
• 爱达荷州破坏者优秀奖，2015年9月