首提跨模态代码匹配算法,腾讯安全科恩实验室论文入选国际AI顶会NeurIPS-2020

LLM驱动的代码生成与漏洞检测一体化框架 静态分析模块的核心是一组预定义的安全规则。这些规则涵盖了常见的漏洞类型,如缓冲区溢出、空指针引用和SQL注入等。每条规则由一个模式和一个动作组成,模式用于匹配代码中的潜在漏洞,动作用于执行相应的修复操作。return[ 阅读详情

人工智能领域顶级学术会议NeurIPS 2020(Neural Information Processing Systems)将于12月7日-12日在线上举行。在近日NeurIPS正式发布的论文入选名单中,腾讯安全科恩实验室聚焦利用AI算法解决二进制安全问题的《CodeCMR: Cross-Modal Retrieval For Function-Level Binary Source Code Matching》,凭借首次提出基于AI的二进制代码/源代码端到端匹配算法的创新研究成功入选,揭示了“AI+安全”领域的又一突破探索。

作为国际机器学习和计算神经科学领域公认最具影响力的顶级会议之一,NeurIPS汇集了时下人工智能和自然神经信息处理等领域最前沿的科研成果,被中国计算机学会 (CCF)推荐为A类Top会议,每年都能吸引来自全世界AI领域的研究者参会和进行前沿成果分享。

新一代信息技术的“爆发式”普及应用,在造就更为广阔数字空间版图的基础上,也带来了更为瞬息万变的网络威胁态势。AI技术以其在数据分析、知识提取、智能决策等方面的独有优势,已成为近年来网络安全寻求创新突破的重要探索方向。据Gartner预测,到2020年,人工智能在网络安全领域应用比例将由10%上升为40%。

安全系统的部署、响应的效率及准确性直接关乎其防护的有效性,而从计算机系统的最基础层上看,程序员编写的源代码程序向计算机能识别的二进制语言的转化与执行,则是影响系统效率的关键。为更好地提升安全部署的效率和准确率,腾讯安全科恩实验室就在本次入选NeurIPS-2020的论文中,聚焦二进制代码-源代码的交叉领域,首次提出了一种基于AI的二进制代码/源代码端到端算法模型:CodeCMR框架,以解决传统算法匹配准确率不高的问题,并为安全研究人员致力寻找源代码的逆向分析提供新思路。

与传统算法仅提取字符串、立即数特征进行匹配的做法不同,论文提及的CodeCMR模型能够实现对代码间隐藏语义特征的自动提取,从而达到提升二进制代码-源代码跨模态检索匹配效率的目的。CodeCMR框架能够以不同模型对源代码特征和二进制代码特征两大模块的语义、字符串、立即数等三大输入特征进行向量计算,并以在基础上用拼接+BatchNorm方式最终实现高效匹配转化。其中,在语义特征识别中,端到端的GNN模型表现出更强的健壮性,对于破解传统算法高专家经验的痛点起到关键作用。与此同时,在两大模块的向量采样阶段,Norm weighted sampling 与随机采样和distance weighted采样方法相比也表现出了更好的匹配效果。这种融合训练的方法对于大幅提升二进制代码/源代码的匹配准确率探索,提升工业部署效率具有极大推动作用。

 

(CodeCMR整体框架)

本次论文入选是腾讯安全科恩实验室继以利用图神经网络解决二进制程序函数相似性分析问题的研究成果入选AAAI 2020后,致力探索二进制安全研究的又一全新成果,也是其致力布局人工智能领域安全研究和"AI+安全"交叉场景应用的全新实践。目前,论文成果已在腾讯安全科恩实验室研发的代码检索工具BinaryAI实现了落地应用。

作为腾讯集团云与智慧产业事业群旗下一支国际一流的信息安全团队,腾讯安全科恩实验室自2018年就开始深入到人工智能领域的安全研究中,先后针对特斯拉搭载系统Autopilot高级辅助驾驶问题和AI算法与传统安全研究结合探索,分别挖掘出了业内首个实现对抗商用自动驾驶系统图像识别功能的研究案例和联合腾讯公司高校合作项目“CCF-腾讯犀牛鸟基金”发布了《深度学习在软件安全领域的应用研究》的研究课题,为促进安全与AI的深度应用提供了重要突破口。

在云计算、大数据及人工智能等技术发展趋势下,以机器学习为主要算法的AI技术显然将成为应对新安全威胁的重要手段。未来,腾讯安全科恩实验室将继续以自身的技术能力积淀和贯穿汽车、智能应用、IoT等多行业的安全实践,从瞄准实际痛点的视角,为深处数字化发展关键节点的全产业输送更多前沿技术成果和解决方案。

【论文阅读】learning with noisy correspondence for cross-modal matching ------ 跨模态匹配,噪声对应 阅读NIPS 2021论文Learning with Noisy Correspondence for Cross-modal Matching。本文提出了一个跨模态匹配中一直存在但是没有被认真研究过的问题:noisy correspondence:现存数据集中图像-文本配对也许并不match,尤其是从网上爬取的图像-文本配对,很可能是mismatch的。用这样的数据训练跨模态模型显然是有问题的。 本文方法能够自适应地划分clean和noisy数据,并纠正noisy的配对样本,得到更具鲁棒性的跨模态匹配模型 阅读详情

相关推荐

教你读懂techpoint视频解码芯片tp2855规格书(第一部分)

所有的控制环都是可编程的,以实现最大化的灵活性。对于NTSC/PAL输入,输出时钟和采样结构是非标准的,以便在多路复用输出时与HD格式一同工作。所有通道的音频数据都可以选择性地级联,以实现最大的灵活性。TP2855是一款通用的高清/标清视频解码器芯片,其支持对HD-TVI、NTSC/PAL制式960H分辨率及普通AHD视频格式的解码。TP2855具有内部钳位,在每个通道上都有自动增益控制放大器,用于最佳的信号调节。即使在使用低质量和长线缆的条件下,它的可编程均衡放大器和自动控制环也能维持尚佳的表现。

hufan92的博客 4924

二进制级别自动漏洞检测(四)

关于SMT(Satisfiability Modulo Theories)学习 SAT解决器是自动的、有效的。所以它们通常被用于软件检测的“引擎”。但是通常系统以一种比布尔要高级的语言形式来设计,并且将这种逻辑转化到布尔逻辑的做法是很昂贵的。所以SMT(Satisfiability Modulo Theories)就是一种有效的推理“引擎”能在更高的抽象级别上进行本地推理,同时能保证SAT高效率和全自动的能力。 将从以下的几个方面来阐述: 一阶逻辑 具体理论问题 如何理论解决 结合理论的具体解决方式 联合

weixin_43926330的博客 482

HFSS新手避坑指南:手把手教你用FR4基板仿真威尔金森功分器(附参数优化技巧)

本文详细介绍了使用HFSS仿真FR4基板威尔金森功分器的12个关键细节,包括介质基板设置、微带线建模、隔离电阻设置等实战技巧。特别针对微波技术中的常见问题,提供了参数优化和结果解读的实用方法,帮助新手快速掌握HFSS仿真技能。

weixin_27310417的博客 227

基于汇编代码和源代码融合的漏洞检测系统

基本定义:定义1(源代码切片)。源代码切片Si是一个语义相关的多行源代码的片段,表示为Si=(si1si2si3,…,sin),其中sij(1 ≤j≤n)是Si中的第j行。定义2(汇编代码切片)。汇编代码切片Di是一个语义相关的多行汇编代码片段,表示为Di=(di1di2di3,…,din),其中dij(1 ≤ j ≤ n)是Di中的第j行。该系统分为训练和测试两个阶段。源代码处理。根据漏洞候选特征提取源代码切片,添加标签。

阿航的博客 1406

六自由度机械臂运动学分析及其轨迹规划

六自由度机械臂轨迹规划 通过对比三次多项式插值法与五次多项式插值法的效果,选取后者对机械臂进行轨迹规划,将运动学解导入Matlab Robotics Toolbox仿真,得到各关节角度、速度和加速度与时间关系曲线。 三次多项式插值法 三次多项式有4个待定系数,可同时对起始点和目标点的角度和角速度给出约束条件。 数学公式 MATLAB代码 五次多项式插值法 五次多项式有6个待定系数,可同时对起始点和...

两条眉毛 6万+

汇川PLC用户程序结构详解:如何像搭积木一样配置多任务?附EtherCAT最佳实践

本文深入解析汇川PLC用户程序结构,阐述如何像搭积木一样,通过POU、FB、FC等模块化组件高效配置多任务。文章重点结合EtherCAT通讯场景,分享了任务周期、优先级设置的最佳实践与关键避坑指南,帮助工程师构建稳定、高效的运动控制系统。

weixin_29184075的博客 541

跨平台物联网漏洞挖掘算法评估框架设计与实现文献综述摘要与通用漏洞挖掘技术

之后可以通过基于模式的漏洞分析或是二进制代码比对技术实现静态的漏洞挖掘。动静结合的方案主要将静态分析的结果用于辅助动态测试。从静态分析方面来介绍物联网设备漏洞挖掘技术的研究进展,接着介绍我们正在及未来所做的工作,最后本文将对今后该领域的研究重点和方向进行讨论和展望。因此基于二进制的方案分为静态、动态、动静结合的。针对物联网设备漏洞的挖掘技术逐渐成为热点。本文首先将分析物联网设备漏洞挖掘技术面临的挑战与机遇。物联网设备的安全也受到了严峻的考验。从而实现漏洞的挖掘。基于源代码的漏洞挖掘和基于二进制的漏洞挖掘。

XLYcmy的博客 461

中科蓝讯AB536X/AB892X芯片开发避坑指南:Downloader配置中那些容易忽略的细节

本文详细解析中科蓝讯AB536X/AB892X芯片开发中Downloader配置的关键细节,包括软开关机实现、触摸灵敏度调试、量产校频等常见问题。特别针对无PR口芯片的替代方案、触摸参数优化、校频流程等易忽略环节提供实用解决方案,帮助开发者规避量产风险,提升开发效率。

weixin_30687051的博客 476

Cyber Code Intelligence for Android Malware Detection

将恶意能力识别视为一个。

Makabakahaha的博客 594

uniapp - 解决真机调试报错 request:fail abort statusCode:-1 java.security.cert.CertPathValidatorException: Tr

uni-app,真机调试报错,app端平台,安卓Android,安卓App发布线上报错,打包后接口请求失效了,api接口报错,真机运行安卓app时接口不通且报错,request:failabortstatusCode:-1java.security.cert.CertPathValidatorException:Trustanchorforcertificationpathnotfound.,真机调试,苹果ios真机报错,Uniapp打包到app后报错,uni-app真机调试报错,服务器

🏆 前端领域优质创作者 1万+

使用verilog设计实现QR分解

QR(正交三角)分解法是求一般矩阵全部特征值的最有效并广泛应用的方法,一般矩阵先经过正交相似变化成为Hessenberg矩阵,然后再应用QR方法求特征值和特征向量。 使用verilog对QR实现方法进行设计并进行功能仿真: 如下: 顶层模块代码: module TOP( H1R, H1I, H2R, H2I, H3R, H3I, H4R, H4I, clk, rst_n, Y1R, Y1I, Y2R, Y2I, X1R, X1I, X2R, X2I ); parameter width = 16; // I

QQ_778132974的博客 2151

【网安AIGC专题10.11】①代码大模型的应用:检测、修复②其安全性研究:模型窃取攻击(API和网页接口) 数据窃取攻击 对抗攻击(用途:漏洞隐藏) 后门攻击(加触发器+标签翻转)

`大型模型输出格式不受控制`的情况,一些可能的解决方法: 1. 输出处理: - **后处理和过滤:** 可以通过编写自定义的后处理代码来筛选和处理大型模型的输出。这可能包括解析输出以识别关键信息、删除不必要的内容、转换输出格式,以及对输出进行筛选和排序。 - **数据存储:** 将输出存储到数据库中(可以理解为,输出转换为结构化数据,而不是自由的文本),以便按需检索和查询。 - **数据过滤和清理:** 对于文本数据,可以使用自然语言处理技术来过滤和清理输出,以去除噪音和非关键信息。 - **增量处理:*

定期分享我的发现和想法,感谢你的陪伴和支持 8219

2026.2.23:AgentScope框架实战<一>:安装并使用agentscope

本文介绍了AgentScope框架的安装与使用实践。通过PyPI安装agentscope[full]后,演示了如何创建ReActAgent代理:1)配置DashScope聊天模型;2)注册自定义工具函数(查询位置和天气);3)初始化代理并处理用户请求。示例展示了代理如何响应复合查询(如同时获取北京位置和天气信息),输出结果显示代理成功执行了工具调用并返回结构化响应。该框架支持Python 3.13环境,提供内存管理、工具集成等功能,适用于构建智能代理系统。

拥抱具身智能,昇腾Ascend C 511

源代码可以从应用提取码_科恩实验室最新NeurIPS-2020论文解读:基于跨模态检索的二进制代码-源代码匹配...

在NeurIPS 2020中,腾讯安全科恩实验室使用AI算法解决二进制安全问题的《CodeCMR: Cross-Modal Retrieval For Function-Level Binary Source Code Matching》论文成功入选。本论文首次提出了基于AI的二进制代码/源代码端到端匹配算法,与传统算法相比效果非常出色,准确率大幅提升。本论文成果为逆向分析领域提供了新的思路,大大...

weixin_39606361的博客 273

RU DOS版、EFI版32bit/64bit BIOS常用工具

DOS版、EFI版的RU工具,可用来查看IO、MEM、PCI、SMBIOS等资源。亲测在EFI SHELL下可用。

迈瑞BS系列全自动生化分析仪LIS协议接口手册(内含HL7和ASTM)

迈瑞BS系列全自动生化分析仪LIS协议接口手册,内含HL7和ASTM)

autojs逆向源代码工具_科恩实验室最新NeurIPS2020论文解读:基于跨模态检索的二进制代码源代码匹配...

导语在NeurIPS 2020中,腾讯安全科恩实验室使用AI算法解决二进制安全问题的《CodeCMR: Cross-Modal Retrieval For Function-Level Binary Source Code Matching》论文成功入选。本论文首次提出了基于AI的二进制代码/源代码端到端匹配算法,与传统算法相比效果非常出色,准确率大幅提升。本论文成果为逆向分析领域提供了...

weixin_39921023的博客 241

锂电池充电器电路设计 里面有电路

锂电池充电器电路设计 里面有电路 3.7V升压到5V电路设计。

autojs逆向源代码工具_NeurIPS-2020论文解读:基于跨模态检索的二进制代码-源代码匹配...

导语在NeurIPS 2020中,腾讯安全科恩实验室使用AI算法解决二进制安全问题的《CodeCMR: Cross-Modal Retrieval For Function-Level Binary Source Code Matching》论文成功入选。本论文首次提出了基于AI的二进制代码/源代码端到端匹配算法,与传统算法相比效果非常出色,准确率大幅提升。本论文成果为逆向分析领域提供了新的思路,...

weixin_39690625的博客 242

廖雪峰Python教程[完整版]

廖雪峰的python教程整理的,已经排好版了,而且还是完整的,适合小白

【论文阅读】CodeCMR: Cross-Modal Retrieval For Function-Level Binary Source Code Matching

二进制与源代码匹配(尤其是函数级匹配)在计算机安全领域至关重要。,定位其对应源代码可提升逆向工程的准确性与效率;,检索关联的二进制代码则有助于确认已知漏洞。然而,由于源代码与二进制代码之间存在显著差异,相关研究仍较为有限。已有方法通常提取代码字面量(如字符串、整数等),再结合匈牙利算法等传统匹配策略实现代码关联,但这些方法在函数级场景中存在明显局限:其忽视了代码潜在的语义特征,且多数代码缺乏充足的字面量。此外,这些方法依赖专家经验进行特征识别与特征工程,过程耗时且成本高昂。

编程小栈 1165

CLAP: Learning Transferable Binary Code Representations with NLS——通过自然语言监督学习可迁移的二进制代码表示

CLAP:LearningTransferableBinaryCodeRepresentationswith NaturalLanguageSupervision 通过自然语言监督学习可迁移的二进制代码表示

Together_CZ的博客 1774

论文分享 | 软件安全分析的现状与未来,从零基础到精通,收藏这篇就够了!

各个部分的差异可能会很大,有些部分是内存安全的,有些部分是内存不安全的,有些部分机器学习模型(意味着不确定性),有些部分是传统的指令式的组件。当前大部分的软件分析测试工具在设计的时候都是通用的,当面临特定领域内的问题时需要进行额外的配置。当前大部分的漏洞检测方法都聚焦于内存安全问题上[17],尤其是对于基于C语言和C++开发的软件系统来说。(Software Composition Analysis, SCA)指的是自动化的识别软件中的第三方组件,基于此可以分析这些第三方组件的漏洞信息以及许可证信息。

leah126的博客 1878

构建坚不可摧的WebAssembly安全防御体系:从二进制漏洞到运行时沙箱的全面防护

​ 2023年EFS漏洞(CVE-2023-38172)通过恶意LLVM优化传递在Wasm模块植入后门。​ WasmEdge容器中的模块间攻击。

2501_91980039的博客 1490

大模型和二进制安全

列举了一些大模型和二进制安全的顶会论文

weixin_42016744的博客 1056

【论文-恶意软件检测-文本分析方向】基于图注意力网络和多模态特征深度融合的Android恶意软件检测方法(精读)

数据预处理(apktool、JADX、LibRadar)构建类集调用图(CSCG)主题模型(TD-IDF、LSI):对调用图节点使用主题模型提取代码语义特征Max_GAT深度特征融合网络:融合两种特征并分类对调用图的生成大小有一个自适应调节的机制存在,让调用图的的大小尽量控制在一个区间内,即避免图过大导致计算开销巨大,又避免图过小导致信息过少本文是采用了很多模块组合构成的一个大的恶意软件检测系统使用LibRadar检测apk包含的第三方库apktool对apk提取出xml、dex文件。

czc的博客的csdn版本,欢迎访问我的还在建设的个人网站:czchx.cc 2293

基于NLP的软件安全研究(二)

一篇SANER 2022 B类会议关于跨语言源代码-二进制克隆检测论文

至臻求学,胸怀云月 6324

CodeCMR:跨模态二进制代码匹配

Hierarchical-LSTM【3】跟LSTM的区别是将前一层LSTM的部分节点做综合进入下一层的LSTM节点中进行运算,比如一层LSTM输入是word级别的向量,得到sentence级别的向量表示后, 将sentence级别的输出当做下一层LSTM的输入,最终得到doc级别的输出。作者选择gcc-x64-O0和clang-arm-O3两种组合方法构建两个数据集,每个数据集包含30000个用于训练的源代码-二进制代码对,验证集和测试集的源代码-二进制代码对各10000个。

爱编程的鱼的博客 552

跨模态前沿AI技术及产业应用 | 8月16日 TF70

随着技术和产业的进一步发展,多模态成为AI技术和产业突围的新方向,更多场景应用需要多模态大模型来支撑, 本期会议邀请到Jina AI、超对称技术公司、网易有道等跨模态方向的优秀企业,深入探讨当今跨模态AI技术的最前沿成果及产业应用情况。8月16日,欢迎报名!为工程师提供顶级交流平台CCF TF第70期主题 跨模态前沿AI技术及产业应用2022年8月16日 19:00-21...

量子位 283

匹配一切新框架!浙大提出MatchAnything:通过大规模预训练实现通用跨模态图像匹配论文解析(中文版)

图像匹配旨在识别图像之间相应的像素位置,在广泛的科学学科中至关重要,有助于图像配准、融合和分析。

YuZhou的博客 5286
上一篇: 腾讯安全月报丨GeekPwn极客大赛上海举办、云安全趋势发布、携手虎牙共建安全实验室……
下一篇: 腾讯安全嵌入式安全审计平台入选国家级试点!
腾讯安全
博客等级 码龄10年 901粉丝 620原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值