王喆
- 作品数：27 被引量：5H指数：1
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- JavaScript引擎JIT代码的类型混淆缺陷检测器
- 2023年
- 类型混淆漏洞是近期在JavaScript引擎中集中爆发的一类漏洞。但是,受即时编译(JIT)代码的限制,以往的类型混淆缺陷的检测方法,无法用于检测JavaScript引擎JIT代码的类型混淆缺陷。本文提出了一种针对该类型缺陷的检测方法,并实现了检测器名为TC-JIT-San的JIT代码类型混淆缺陷检测器。该方法利用JIT代码执行流和数据类型之间关联性,将从JIT代码中识别数据类型的难题转为观察执行流的变化。TC-JIT-San通过观察执行流的变化情况是否符合正常执行逻辑,从而检测出类型混淆缺陷。实验结果表明,TC-JIT-San具有低开销、低漏报和误报的特点。其运行时开销是正常执行的1.84倍,平均漏报率和误报率为0%和0.11%。
- 孙力立张培华武成岗王喆
- 关键词：漏洞挖掘软件缺陷检测
- 一种基于缓存随机无效的处理器瞬态攻击防御方法
- 本发明实施例提供了一种缓存管理方法，包括：响应于访存请求，将包含投机的访存装载指令所需数据的数据块装载到普通缓存，在缓存的普通缓存的数据块被投机的访存装载指令装载进来的数据块踢出普通缓存时，执行以下操作：将被踢出的数据块...
- 武成岗王喆唐博文贾力陈谢梦瑶
- 文献传递
- 一种基于缓存回滚以防御处理器瞬态攻击的装置
- 本发明公开了一种数据处理装置，包括：处理器；存储器，用于存储一个或多个可执行指令和数据，所述存储器包括一级或者多级缓存；以及缓存控制器；每级缓存包括普通缓存和防御缓存；所述缓存控制器被配置为：在普通缓存的数据块被投机的访...
- 武成岗王喆唐博文贾力陈谢梦瑶
- 文献传递
- 面向盲人避障的场景自适应分割及障碍物检测被引量：5
- 2013年
- 针对盲人避障系统的实时性和鲁棒性要求,提出了基于单帧RGB-D图像的场景自适应分割和障碍物检测方法.针对室内场景存在较多的平面结构的特点,首先利用深度信息进行由粗到细的两阶段平面快速提取;然后提出了基于图论的RGB-D场景自适应分割算法,将基于深度信息的平面分割结果和基于RGB的图像分割进行自适应的权重融合;最后提出了多层次的障碍物检测识别策略,将场景区域识别为地面、桌面、墙面以及其他障碍物,并给出了场景分析结果的简化模型.实验结果表明,文中方法结合深度数据的优势以及场景的几何结构特点,有效地提高了场景分割和障碍物检测的实时性和鲁棒性,能够满足盲人室内避障应用需求.
- 刘宏王喆王向东赵国英钱跃良
- 关键词：障碍物检测
- 一种处理软件代码的方法和电子设备
- 本发明实施例提供了一种处理软件代码的方法和电子设备，该方法通过获取待处理的软件代码，构建所述软件代码的控制流图；根据所述控制流图和预设的处理逻辑，对所述软件代码中选定的函数进行拆分处理和/或聚合处理以改变控制流图的原有结...
- 王喆武成岗张培华曾凯
- 文献传递
- 一种容器虚拟化安全加固装置及方法
- 本发明提出一种容器虚拟化安全加固装置及方法，包括：运行在客户机非根模式中的容器；运行在宿主机根模式中的底层操作系统模块和普通应用程序模块；在所述非根模式中植入一微内核，用于管理所述容器使用到的内存和文件系统资源；所述容器...
- 王喆武成岗谢梦瑶张晓峰赖远明康妍曾凯
- 文献传递
- 一种应用的保护方法及系统
- 本发明涉及一种应用的保护方法和系统，包括：获取该应用，该应用包括第一部分应用和第二部分应用，内存空间包括安全区域；将应用该第一部分应用存放至该安全区域，应用第二部分应用存放至该安全区域外的该内存空间，将指向该安全区域的地...
- 王喆武成岗赖远明康妍
- 文献传递
- 一种微架构
- 本发明涉及一种微架构，包括：处理器，以投机执行方式执行访存指令；与该处理器对应设置的高速缓存，采用组相联模式，包括多个组，每个组包含多个缓存行，以及与该缓存行一一对应的标记项，该标记项包括第一标记项和第二标记项，该第一标...
- 武成岗王喆唐博文贾力陈谢梦瑶
- 文献传递
- 面向应用程序的特权硬件资源访问方法及电子设备
- 本发明提供一种面向应用程序的特权硬件资源访问方法及电子设备，其中，所述方法将CPU操作模式划分为根模式和非根模式，每种模式具有相应的内核态与用户态。所述方法包括：在非根模式的内核态下运行所述应用程序；以及限制所述应用程序...
- 王喆武成岗谢梦瑶张晓峰赖远明康妍
- 文献传递
- 盲人避障提示装置及方法
- 本发明提供一种盲人避障提示装置。该装置包括深度传感器、图像传感器、声音采集器、障碍物检测部件和交互反馈部件。障碍物检测部件基于各传感器采集的信息来检测在盲人行进前方是否存在障碍物或可通行，并根据检测结果向交互反馈部件发送...
- 钱跃良刘宏王喆王向东
- 文献传递
