邹维,中国科学院信息工程研究所研究员,博士生导师,国务院颁发的政府特殊津贴获得者,“新世纪百千万人才工程”北京市级人选,曾两次获得国家科技进步
二等奖。国家863计划、国家发改委
信息安全专项、教育部科技奖励等评审专家。是国内网络与软件安全领域知名专家。
(1) Using Type Analysis in Compiler to Eliminate Integer-Overflow-to-Buffer-Overflow Threat,Journal of Computer Security (JCS),2011,第2作者
(2) Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution,ACM Transactions on Information and System Security (TISSEC),2011,第4作者
(1)信息安全概论,Introduction to Information Security,
人民邮电出版社,2007-06,第2作者
(2)对系统安全科学的思考,第四届
信息安全漏洞分析与风险评估大会(VARA2011),2011-10,邹维