飞行与控制系 
 电气工程系 
 测控技术与仪器系 
 交通与控制工程系 
 控制与信息系 
 国家保密学院 
 实验教学中心 
 兼职教授 

 

姓名:胡 伟

职称:副教授

单 位: 西北工业大学 自动化学院 (国家保密学院)

地 址: 陕西省西安市友谊西路127号,邮编 710072

电 话: 86-150-2927-3193

邮 件: vinnie1030@gmail.com

研究方向

网络与信息安全

高可靠系统安全

硬件安全

密码学

逻辑与综合

逻辑与高层综合

形式化验证

可重构计算

可重构计算

片上系统

其它

形式化方法

算法设计与分析

教育背景

♦ 西北工业大学 自动化学院

2012.07 – 2014.06

计算机科学与技术 博士后

合作导师: 慕德俊 教授

♦ 加州大学圣迭戈分校 计算机科学与工程系

2009.09 – 2011.09

计算机科学 联合培养博士研究生

导师: Prof. Ryan Kastner

♦ 西北工业大学 自动化学院

2007.09 – 2012.06

控制科学与工程 博士研究生

导师: 慕德俊 教授

♦ 西北工业大学 自动化学院

2005.09 – 2007.07

模式识别与智能系统 硕士研究生

导师: 张新家 教授

♦ 西北工业大学 教育实验学院

2001.09 – 2005.07

信息对抗技术 本科生

教育实验学院 教改班

专 著

[1] 第一作者. 门级信息流分析理论及应用. 北京:科学出版社, 28万字, 2014年11月.

论 文

[1] 第一作者. On the Complexity of Generating Gate Level Information Flow Tracking Logic, IEEE Transactions on Information Forensics & Security, Vol. 7(3): 1067-1080, Jun. 2012. (SCI, JCR Q1类期刊, CCF A类期刊)

[2] 第一作者. Theoretical Fundamentals of Gate Level Information Flow Tracking, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 30(8): 1128-1140, Aug. 2011. (SCI, JCR Q2类期刊, CCF B类期刊)

[3] 第一作者. Gate Level Information Flow Tracking for Security Lattices. ACM Trans. on Design Automation of Electronic Systems, Vol. 20(1), Article 2, Nov 2014. (SCI, CCF B类期刊)

[4] 第二作者(导师第一作者). A Bottom-up Approach to Verifiable Embedded System Information Flow Security. IET Information Security, Vol. 8(1): 12- 17, Jan. 2014. (SCI, CCF B类期刊)

[5] 第三作者. Energy-Efficient Coverage Quality Guaranteed in Wireless Sensors Network. Applied Mathematics & Information Sciences, Vol. 7(5): 1685- 1691, 2013. (SCI)

[6] 第一作者. Expanding Gate Level Information Flow Tracking for Multi-level Security. IEEE Embedded System Letters, Vol. 5(2): 25- 28, 2013. (EI)

[7] 第一作者. Simultaneous Information Flow Security and Circuit Redundancy in Boolean Gates, In Proc. of the 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD’12), 585- 590, San Jose, CA, USA, Nov. 2012. (EI, CCF B类会议) – 大会报告

[8] 第一作者. An Improved Encoding Technique for Gate Level Information Flow Tracking, in Proc. of International Workshop on Logic and Synthesis (IWLS’11), San Diego, CA, Jun. 2011. – 大会报告

[9] 第二作者. Information flow isolation in i2c and usb, in Proc. of 48th ACM/EDAC/IEEE Design Automation Conference, pp. 254-259, San Diego, CA, Jun. 2011. (EI, CCF B类会议)

[10] 第二作者. Theoretical analysis of gate level information flow tracking, in Proc. of 47th ACM/IEEE Design Automation Conference, pp. 244-247, Anaheim, CA, June 2010.(EI)

[11] 第二作者. Generating Optimized Gate Level Information Flow Tracking Logic for Enforcing Multilevel Security, WIT Transactions on Information and Communication Technologies, 2014 (EI期刊) - Under Review.

[12] 第三作者. Enforcing Information Flow Guarantees in Reconfigurable Systems with Mix-Trusted IP, in Proc. of International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA’11), Las Vegas, NV, July 2011. (EI) – 邀请论文

[13] 第二作者. Secure Hardware Design through Bit-tight Information Flow Control. IEEE Region Ten Conference (TENCON), 1-4, Oct. 2013. (EI)

[14] 第一作者. 一种基于门级信息流分析的安全架构设计与验证方法. 电子科技大学学报(自然科学版), 2014 (EI期刊).– 已录用

[15] 第二作者. 一种精确错误效应传播的形式化模型. 西北工业大学学报 (自然科学版), 第32卷第5期,pp. 719 – 724. (EI期刊)

学位论文

[1] 博士学位论文. 门级信息流跟踪理论与应用研究, 2012.7. (西北工业大学优秀博士学位论文)

[2] 硕士学位论文. 基于FPGA的移动存储设备数据加密方法研究与实现, 2008.4. (西北工业大学优秀硕士学位论文)

[3] 本科毕业论文. 基于USB协议的外部数据传输模块的实现, 2005.5

科研项目

2014.01 – 2015.12

基于细粒度信息流分析的高可靠系统安全验证方法研究 (国家自然科学基金青年科学基金 61303224). 项目负责人

2013.06 – 2014.05

基于门级信息流分析的高可靠系统安全验证方法研究 (博士后科学基金面上项目2013M532081). 项目负责人

2013.01 – 2015.12

高可靠系统信息流度量与形式化安全验证研究 (教育部高校博士点基金博导类 20126102110036). 主要完成人

2013.01 – 2014.12

嵌入式软件安全性验证技术(航空科学基金 2012ZC53042). 主要完成人

2013.06 – 2015.05

基于信息流分析的硬件安全漏洞检测方法研究(西北工业大学新人新方向基金 13GH014601). 共同承担人

2009.09 – 2011.09

3Dsec: Trustworthy System Security through 3-D Integrated Hardware (美国国家自然科学基金 CNS-0910581). 主要完成人

2009.05 – 2010.04

西北工业大学研究生创业种子基金(Z200954). 项目负责人

2007.05 – 2008.04

西北工业大学研究生创业种子基金(Z200751). 项目负责人

2006.07 – 2008.05

信息安全专用芯片的研制(国防基础研究项目). 主要完成人

专 利

[P1] 第三申请人. Expanding Gate Level Information Flow Tracking to Multi-level Security, 美国国家发明专利,公开号:WO2014143912 A2

[P2] 第四申请人. 一种USB接口的ATA类存储设备中数据的加密装置, 中国国家实用新型专利,授权号:200820028734.0

[P3] 第四申请人. 一种USB接口的ATA类存储设备中数据的加密方法及装置, 中国国家发明专利,授权号:200810017877.6

所获奖励

“博士后国际交流计划-派出计划”项目

2014.5 – 2016.5

西北工业大学“优秀博士学位论文”

2014

“国家建设高水平大学”公派项目

2009.5 – 2011.5

西北工业大学“优秀硕士学位论文”

2008

“国家奖学金”二等奖

2004

西北工业大学“校级三好学生”

2008 & 2002 - 2004

“ACM程序设计大赛”三等奖

2004

西北工业大学“英才奖学金”

2001

专业技能

外语水平

英语六级 (口语水平'A')

程序语言

Verilog/VHDL, C, Matlab, Python

关闭窗口