教师介绍


蔡韶颖博士于2017年加入湖南大学信息科学与工程学院网络空间安全系，任职助理教授。她拥有湖南大学信息安全专业本科学位、复旦大学软件与理论硕士学位和新加坡管理大学信息系统博士学位；在就读博士期间曾经访问卡耐基梅陇大学CyLab。蔡博士曾经在新加坡资讯通信研究所信息安全部门任职Scientist.

研究方向为：形式化模型，协议设计与分析，RFID安全与隐私，浏览器安全，Web安全，区块链应用安全与隐私等。

联系方式：shaoyingcai@gmail.com;shaoyingcai@hnu.edu.cn

主页：https://sites.google.com/site/drshaoyingcai/

中文名： 蔡韶颖 英文名：
学历： 博士 职称： 助理教授
联系电话： 电子邮件：
研究方向： 形式化模型，协议设计与分析，RFID安全与隐私，浏览器安全，Web安全，区块链应用安全与隐私
联系地址： 湖南省长沙市岳麓区麓山南路2号,湖南大学信息科学与工程学院（410082）
所属机构： 网络空间安全系 学院教师




科研项目
主持：中央高校基本科研业务项目，物联网安全和隐私关键技术研究（项目编号：1），2017.01-2021.12.
参与：从信息物理保证城市交通系统安全方案 （新加坡科技局） 2015年11月 – 2016年3月
大规模异源无线传感器和电动装置网络适用的安全，隐私，和可信平台 （新加坡科技局）
2014年7月 – 2015年11月
Chrome 浏览器扩展系统安全问题 （卡耐基梅陇大学） 2012年8月 – 2014年8月
EPCglobal 网络的安全框架 （新加坡管理大学） 2008年5月 – 2010年12月
杭州资产信息管理系统 （复旦大学） 2007年2月 – 2007年9月



教学
本科生课程：计算机病毒防治 2017秋 （课程主页）
研究生课程：软件系统安全 2017秋 （非全日制班主页，全日制班主页）



学术论文
期刊论文
ShaoyingCai, Yingjiu Li, Tieyan Li, Robert Deng, Haixia Yao: Achieving HighSecurityand Efficiency in RFID-Tagged Supply Chains. International Journal of Applied Cryptography (IJACT), 2010 2(1): 3-12.
蔡韶颖, 赵一鸣: 适用于供应链的RFID读写器-标签双向认证协议. 计算机应用与软件,2009 26(008): 8-10.


会议论文
Sang-Yoon Chang, Shaoying Cai, Hwajung Seo, Yih-Chun Hu. Key Updates at Train Stations:Two-Layer Dynamic Key Update Scheme for Secure Train Communications. Accepted by SecureComm 2016. (中国计算机协会推荐国际会议C类)
Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian:Run-time Monitoring and Formal Analysis of Information Flows in Chromium. InProc. of the Network and Distributed System Security (NDSS) Symposium 2015, SanDiego, USA, Feb. 8-11, 2015.(NDSS为安全四大国际顶级会议之一，中国计算机协会推荐国际会议B类)
Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Yuan Tian: Analyzing theDangers Posed by Chrome Extensions. In Proc. of the IEEE Conference onCommunications and Network Security (CNS) 2014: 184-192.
Shaoying Cai, Robert Deng, Yingjiu Li, Yunlei Zhao: A New Framework for Privacy of RFID PathAuthentication. In Proc. of the 10th International Conference on Cryptography NetworkSecurity (ACNS 2012): 473-488. (中国计算机协会推荐国际会议C类)
Shaoying Cai, Yingjiu Li, Yunlei Zhao: Distributed Path Authentication for DynamicRFID-Supply Chains. In Proc. of the 27th IFIP International Information Securityand Privacy Conference (IFIP SEC 2012): 501-512. (中国计算机协会推荐国际会议C类)
Shaoying Cai, Chunhua Su, Yingjiu Li, Robert Deng, Tieyan Li: Protecting and Restraining the Third Party in RFID-Enabled3PL Supply Chains. In Proc. of the 6th International Conference on InformationSystems Security (ICISS 2010): 246-260.
Shaoying Cai, Yingjiu Li, Tieyan Li, Robert H. Deng: Attacks and Improvements to an RFID Mutual Authentication Protocol and Its Extensions. In Proc. of the 2nd ACMConference on Wireless Network Security (WiSec 2009): 51-58. (中国计算机协会推荐国际会议C类)
Shaoying Cai, Tieyan Li, Changshe Ma, Yingjiu Li, Robert H. Deng: Enabling Secure SecretUpdating for Unidirectional Key Distribution in RFID-Enabled Supply Chains. InProc. of the 11th International Conference on Information and CommunicationSecurity (ICICS 2009): 150-164. (中国计算机协会推荐国际会议C类)
Shaoying Cai, Tieyan Li, Yingjiu Li, Robert H. Deng: Ensuring Dual Security Modes in RFID-Enabled Supply Chain Systems. In Proc. of the 5th Information SecurityPractice and Experience Conference (ISPEC 2009): 372-383.
Shaoying Cai, Yingjiu Li, Yiming Zhao, Yunlei Zhao: Analysis and Improvements of aSecure E-Tender Submission Protocol. In Proc. of the 4th International Conferenceson Information Security and Cryptology (Inscrypt 2008): 688-698.
技术报告
Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian:Run-time Monitoring and Formal Analysis of Information Flows in Chromium: Technical Appendix.CMU-CyLab-14-015.