副教授

学位

博士

中共党员

邮箱

xushiwei at mail.hzau.edu.cn

华中农业大学信息学院

区块链安全，数据安全与隐私保护，零知识证明与联邦学习

【2008.9-2012.6】 武汉大学计算机学院 信息安全 博士 张焕国教授

【2010.9-2012.3】 英国伯明翰大学计算机科学学院 信息安全 博士（联合培养） Mark Ryan教授

【2006.9-2008.6】 武汉大学计算机学院 信息安全 硕士 张焕国教授

【2002.9-2006.6】 武汉大学计算机学院 计算机科学与技术 学士

【2017.8至今】 华中农业大学信息学院 计算机科学系 副教授

【2016.9-2017.7】 中船重工第709研究所 产品研发部 高级工程师

【2012.7-2016.8 】 中船重工第709研究所 产品研发部 工程师

Welcome undergraduate and graduate students who are interested in blockchain security, data privacy and applied cryptography join in our group.

最新个人信息请查看：https://faculty.hzau.edu.cn/xushiwei/zh_CN/index.htm

科研项目：

【1】智能终端可信系统的构建和安全性分析，中央高校基本科研业务费专项基金资助项目，编号：待定，2017.8-2019.7，主持（20万元）

【2】高安全强度XXX计算机平台技术，装备发展部共用技术类项目，编号：31511100101，2016.1-2017.7，主持（225万元）

科研论文：

【1】Sergiu Bursuc, Christian Johansen andShiwei Xu*. “Automated verification of dynamic root of trust protocols” [C], 6th International Conference on Principles of Security and Trust, 2017【EI检索】

【2】Shiwei Xu, et al. “Modeling and reasoning about states in late launch based on horn clauses” [C], Advanced Materials Research, v915-916, p1350-1356, 2014【EI检索】

【3】Shiwei Xu, Ian Batten, Mark Ryan, “Dynamic measurement and protected execution: Model and analysis” [C], 8th International Symposium on Trustworthy Global Computing, 2013【EI检索】

【4】徐士伟, 张焕国, “基于应用π演算的可信平台模块的安全性形式化分析” [J], 计算机研究与发展, 48(8), p1421-1429, 2011【EI检索，2016年复合影响因子：2.954】

【5】徐士伟, 张焕国, 肖瑾瑜等, “基于中国邮递员问题的可信平台模块测试序列生成优化研究” [J], 武汉大学学报 (自然科学版), 56(2), p138-142, 2010

【6】徐士伟, 张焕国, 严飞等, “Security Analysis on OIAP Implementation Based on BAN Logic” [C], MINES, 2009【EI检索】

【7】徐士伟, 张焕国, “An integrity protection model for the keys of trusted platform module” [C], CiSE, 2009【EI检索】

【8】胡志希, 戴新发，徐士伟, “一种可配置的虚拟机内存隔离方法” [J], 计算机数字工程, 44(8), p1548-1552, 2016

【9】杨飏, 张焕国,徐士伟等, “Using First Order Logic to Reason about TCG’s TPM Specification” [C], IFITA, 2009

【10】詹静, 张焕国,徐士伟等, “Research on Trusted Platform Model Testing Based on the State Machine Theory” [J], 武汉大学学报 (信息科学版), vol.26, No.3, June 2008

发明专利：

【1】徐士伟, 高毅, 伍华凤等, “一种云计算环境下的可信密码模块密码功能授权代理的实现方法”, 授权号: ZL201210561695 （已授权）

【2】徐士伟, 黄晋, 代征等, “一种多接口密码模块并行调度方法”, 授权号: ZL201310661943（已授权）

【3】徐士伟, 江昌庆, 代征等, “可配置的虚拟机启动完整性维护的方法及系统”, 申请号: CN201410425198

【4】徐士伟, 江昌庆, 胡哲琨等, “虚拟机故障检测、恢复系统及虚拟机检测、恢复、启动方法”, 申请号: CN201510416209

【5】徐士伟, 赵爽, 余学俊等, “一种ARM平台上可信密码模块的实现和服务方法”, 申请号: CN201610497918

【6】张焕国, 严飞,徐士伟等, “可信平台模块测试装置”, 授权号: ZL200810236866 （已授权）

【7】高毅, 伍华锋,徐士伟, “基于时空相关的虚拟机在线迁移方法及系统”, 申请号: CN201410447729