武成岗

作品数：34被引量：144H指数：5
导出分析报告
供职机构：中国科学院计算技术研究所更多>>
发文主题：二进制翻译寄存器开销缓存翻译更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《高技术通讯》《计算机学报》《中国教育网络》《计算机应用研究》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家科技重大专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
ARM架构下硬件辅助的内存隔离机制综述
《高技术通讯》2024年第11期1127-1141,共15页许佳丽 武成岗 王喆 
国家自然科学基金青年基金(61902374);国家自然科学基金联合重点基金(U1736208)资助项目。
内存隔离是一项缓解软件潜在安全危害、提高软件安全性和鲁棒性的重要防御机制。内存隔离机制保护不同组件中的敏感数据,强制敏感数据仅由组件信任的代码访问。虽然软件漏洞无法避免,但内存隔离机制可以在代码存在漏洞时依旧提供有效的...
关键词：硬件辅助的内存隔离 ARM架构 域隔离 地址隔离 
二进制翻译技术综述被引量：1
《软件学报》2024年第6期2687-2723,共37页谢汶兵 田雪 漆锋滨 武成岗 王俊 罗巧玲 
随着信息技术的快速发展,涌现出各种新型处理器体系结构.新的体系结构出现为处理器多样化发展带来机遇的同时也提出了巨大挑战,需要兼容运行已有软件,确保较为丰富的软件生态群.但要在短期内从源码编译构建大量生态软件并非易事,二进制...
关键词：二进制翻译 翻译效率 等价变换 软件迁移 多融合优化 
处理器时间侧信道攻防技术综述
《高技术通讯》2024年第5期439-452,共14页唐博文 武成岗 王喆 
国家自然科学基金青年基金(61902374);国家自然科学基金联合重点基金(U1736208)资助项目。
现代处理器优化机制众多,设计人员在追求性能提升时,往往忽略背后的安全风险。时间侧信道攻击因其影响面广且隐蔽性好已成为最主要的安全威胁之一。随着瞬态执行攻击的出现,时间侧信道攻击的能力被进一步扩展,计算系统的安全基础被动摇...
关键词：处理器微架构 时间侧信道攻击 隐蔽信道 瞬态执行攻击 投机执行 防御技术 
JavaScript引擎JIT代码的类型混淆缺陷检测器
《高技术通讯》2023年第3期251-260,共10页孙力立 张培华 武成岗 王喆 
国家自然科学基金(U1736208,61902374)资助项目。
类型混淆漏洞是近期在JavaScript引擎中集中爆发的一类漏洞。但是,受即时编译(JIT)代码的限制,以往的类型混淆缺陷的检测方法,无法用于检测JavaScript引擎JIT代码的类型混淆缺陷。本文提出了一种针对该类型缺陷的检测方法,并实现了检测...
关键词：漏洞挖掘 动态检测器 软件缺陷检测 
脚本语言执行引擎的模糊测试技术综述被引量：1
《高技术通讯》2022年第12期1226-1235,共10页孙力立 武成岗 许佳丽 张培华 唐博文 谢梦瑶 
国家自然科学基金(U1736208,61902374)资助项目。
脚本语言作为解释性语言,需要由脚本语言执行引擎动态解释执行。由于脚本语言的广泛应用,其执行引擎也在各种平台上得到广泛部署。因此,脚本语言执行引擎中的安全漏洞往往具有很高的安全影响。模糊测试作为一种有效的自动化漏洞挖掘方法...
关键词：脚本语言执行引擎 模糊测试 漏洞挖掘 软件缺陷检测 
基于回调函数的控制流深度模糊模型被引量：2
《软件学报》2022年第5期1833-1848,共16页沙子涵 舒辉 武成岗 熊小兵 康绯 
国家重点研发计划(2016YFB08011601)。
控制流是程序过程的抽象表现,对控制流进行混淆,可有效提高代码抗逆向能力.提出了控制流深度模糊思想:针对循环结构,利用回调函数构造等价循环模型,将过程内基本块跳转变更为过程间函数调用,对抗逆向技术.综合应用控制流分析和数据流依...
关键词：深度模糊 回调函数 循环结构 数据流依赖 代码变换 
ParaC:面向GPU平台的图像处理领域的编程框架被引量：4
《软件学报》2017年第7期1655-1675,共21页卢兴敬 刘雷 贾海鹏 冯晓兵 武成岗 
国家自然科学基金(61432018;61402445;61502452;61602443;61432018);国家重点研发计划(2016YFB1000402);数学工程与先进计算国家重点实验室开放基金(2016A03);北京市科委计划(D161100001216002)~~
GPGPU加速器是当前提高图像处理算法性能的主流加速平台,但在GPGPU平台上,同一个程序充分利用硬件体系结构特征和软件特征的优化版本与简单实现版本在性能上会有数量级的差异.GPGPU加速器具有多维多层的大量执行线程和层次化存储体系结...
关键词：图像处理 通用GPU加速器 领域编程语言 编译优化 源源变换 
适用于商用系统环境的低开销确定性重放技术被引量：2
《吉林大学学报（工学版）》2017年第1期208-217,共10页应欢 王东辉 武成岗 王喆 唐博文 李建军 
"863"国家高技术研究发展计划项目(2012AA010901)
针对现有确定性重放技术中存在运行时开销大和安全隐患等问题,提出了一种低开销的确定性重放技术。该技术在已有的硬件平台和系统环境下,利用页保护捕获并记录并行程序对共享内存的访问顺序。深入研究了该技术引入的性能开销,针对性地...
关键词：计算机软件 并行程序 确定性重放 页保护 
控制流完整性的发展历程被引量：5
《中国教育网络》2016年第4期52-55,共4页武成岗 李建军 
控制流劫持是一种危害性极大的攻击方式,攻击者能够通过它来获取目标机器的控制权,甚至进行提权操作,对目标机器进行全面控制。当攻击者掌握了被攻击程序的内存错误漏洞后,一般会考虑发起控制流劫持攻击。早期的攻击通常采用代码注入的...
关键词：控制流图 攻击程序 目标机器 上载 控制转向 代码段 粗粒度 滑动窗口 静态分析 计算机系统 
二进制翻译系统中信号处理机制的研究
《高技术通讯》2015年第6期543-551,共9页远翔 武成岗 王振江 
国家自然科学基金(61303052;61332009;61303051;60925009);国家自然科学基金创新群体(61221062);863计划(2012AA010901);973计划(2011CB302504)资助项目
考虑到用户级二进制翻译(BT)系统需要支持在应用程序特别是多线程程序中广泛使用的信号机制,研究了用户级BT系统中的信号处理问题。详细分析了BT系统在处理信号时存在的各种问题,在此基础上设计了一种新的BT系统执行框架,用以降低用户...
关键词：用户级二进制翻译(BT) 信号处理 多线程框架 信号隔离 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部