基本信息
马越 男 硕导 中国科学院软件研究所
电子邮件： mayue@nfs.iscas.ac.cn
通信地址： 中国科学院软件研究所5号楼4层总体部
邮政编码：
电子邮件： mayue@nfs.iscas.ac.cn
通信地址： 中国科学院软件研究所5号楼4层总体部
邮政编码：
招生信息
招生专业
083500-软件工程
081202-计算机软件与理论
081202-计算机软件与理论
招生方向
操作系统
计算机软件与理论/软件工程
计算机软件与理论/可信计算与基础软件
计算机软件与理论/软件工程
计算机软件与理论/可信计算与基础软件
教育背景
2003-09--2011-07 中国科学院计算技术研究所 博士
1999-09--2003-07 北京大学数学科学学院 学士
1999-09--2003-07 北京大学数学科学学院 学士
工作经历
工作简历
2014-01~现在, 中国科学院软件研究所, 高级工程师
2011-07~2014-01,中国科学院软件研究所, 助理研究员
2011-07~2014-01,中国科学院软件研究所, 助理研究员
专利与奖励
专利成果
[1] 李威威, 马越, 杨秋松, 李明树. 一种基于控制状态跟踪的ROP攻击检测方法. CN: CN110188540A, 2019-08-30.
出版信息
发表论文
[1] 李威威, 马越, 王俊杰, 高伟毅, 杨秋松, 李明树. 基于硬件分支信息的ROP攻击检测方法. 软件学报[J]. 2020, 31(11): 3588-3602, http://lib.cqvip.com/Qikan/Article/Detail?id=7103363904.
[2] 马越. Hardware-Based Adversary-Controlled States Tracking. ieee international conference computer and communications. 2018, [3] Li Weiwei, Li Mingshu, Ma Yue, Yang Qiusong, IEEE. PMU-extended Hardware ROP Attack Detection. PROCEEDINGS OF 2018 12TH IEEE INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION (ASID)null. 2018, 183-187, [4] 孙可钦, 王玉庆, 刘剑, 杨秋松, 马越. 一种基于微内核操作系统进程间通信恢复方法. 计算机应用与软件[J]. 2015, 32(6): 9-13, http://lib.cqvip.com/Qikan/Article/Detail?id=665233748.
[5] 王云飞, 刘剑, 马越. 基于锁信息的多线程软件原子性错误检测方法. 计算机应用与软件[J]. 2014, 31(6): 1-4, http://lib.cqvip.com/Qikan/Article/Detail?id=50011282.
[6] 李斌, 马越, 李潇, 刘剑. 航天嵌入式操作系统的分析与验证. 载人航天[J]. 2012, 18(6): 69-74, http://lib.cqvip.com/Qikan/Article/Detail?id=44100456.
[2] 马越. Hardware-Based Adversary-Controlled States Tracking. ieee international conference computer and communications. 2018, [3] Li Weiwei, Li Mingshu, Ma Yue, Yang Qiusong, IEEE. PMU-extended Hardware ROP Attack Detection. PROCEEDINGS OF 2018 12TH IEEE INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION (ASID)null. 2018, 183-187, [4] 孙可钦, 王玉庆, 刘剑, 杨秋松, 马越. 一种基于微内核操作系统进程间通信恢复方法. 计算机应用与软件[J]. 2015, 32(6): 9-13, http://lib.cqvip.com/Qikan/Article/Detail?id=665233748.
[5] 王云飞, 刘剑, 马越. 基于锁信息的多线程软件原子性错误检测方法. 计算机应用与软件[J]. 2014, 31(6): 1-4, http://lib.cqvip.com/Qikan/Article/Detail?id=50011282.
[6] 李斌, 马越, 李潇, 刘剑. 航天嵌入式操作系统的分析与验证. 载人航天[J]. 2012, 18(6): 69-74, http://lib.cqvip.com/Qikan/Article/Detail?id=44100456.
科研活动
科研项目
（ 1 ） 基于动态描述逻辑的异构数据库数据整合技术研究, 主持, 国家级, 2014-01--2016-12
（ 2 ） 安全可靠桌面计算机操作系统-子课题3：面向终端协同的桌面OS支持与融合技术研发, 主持, 国家级, 2014-01--2019-12
（ 3 ） 关键软硬件系统安全性分析评估核心技术研发及验证, 参与, 部委级, 2018-07--2019-06
（ 4 ） Windows应用兼容与微结构性能增强关键技术, 参与, 部委级, 2020-01--2021-12
（ 2 ） 安全可靠桌面计算机操作系统-子课题3：面向终端协同的桌面OS支持与融合技术研发, 主持, 国家级, 2014-01--2019-12
（ 3 ） 关键软硬件系统安全性分析评估核心技术研发及验证, 参与, 部委级, 2018-07--2019-06
（ 4 ） Windows应用兼容与微结构性能增强关键技术, 参与, 部委级, 2020-01--2021-12
指导学生
已指导学生
王健 硕士研究生 081202-计算机软件与理论
现指导学生
安丰文 硕士研究生 085212-软件工程
马国舜 硕士研究生 083500-软件工程
罗威 硕士研究生 081200-计算机科学与技术