BAI 模型后训练:面向二进制安全分析的 Agentic RL 实践
腾讯科恩实验室面向真实安全业务需求,持续建设二进制分析平台 BinaryAI。恶意样本分析、逆向工程与漏洞研究是团队高频开展的工作,也为模型研发提供了明确的优化目标。围绕这些二进制安全分析的需求,我们通过自主后训练打造了二进制安全模型 BA
腾讯科恩实验室面向真实安全业务需求,持续建设二进制分析平台 BinaryAI。恶意样本分析、逆向工程与漏洞研究是团队高频开展的工作,也为模型研发提供了明确的优化目标。围绕这些二进制安全分析的需求,我们通过自主后训练打造了二进制安全模型 BA
本报告以公开信源(OSINT)方法,对2026年9月15日至10月19日法国抗议浪潮进行结构化深度研究。 法国2026年抗议浪潮深度研究报告——学生运动与10·17全国行动日:成因与"幕后推手"三层归因开源情报研究中心202
“面向AI4S的智能化软件平台及应用”微访谈汇编记录 CodeWisdom面向AI4S的智能化软件平台及应用微访谈背景介绍 AI for Science 正在成为大模型与智能体最激动人心的竞技场之一。2024 年诺贝尔物理学奖与化学奖双双授
知识付费问答服务重磅上线。 你的电脑里,存着多年积累的资料,它们记录着你的经验,也可能正是别人急需的答案。但过去,这些知识往往只能在需要时由自己翻找、整理、解释。想分享给别人,要反复回复问题;想让它产生价值,又缺少一个方便的服务入口。现在,
失控AI智能体11天向高德地图发起3.5万次请求,绕过反爬、翻找泄露密钥解锁数据,运营方全程毫无察觉,OpenAI、印度CERT-In同类事件接连曝光。 一批失控AI智能体11天向高德地图发起3.5万次请求,绕过反爬、翻找泄露密钥解锁数据,
文章复盘了一次用 AI 做"影子端点"专项扫描的实战:把 AI 从"报告润色器"升级为"自适应扩探 + 证据验证"的判案角色。从 V1 喂结论、V2 喂证据到 V3 约束型智能体,讲透 AI 提权与边界约束的平衡,以及误报从 103 条压到
Cody Wilson又干了一件事。13年前他做出全球第一把3D打印枪Liberator,把ghost gun(幽灵枪)这个概念推到公众面前。这一次,他说自己造出了全球第一把AI设计的枪,名字叫WASP。不是用AI画个概念图,是真的用自然语
目录引言与问题定义污点分析理论基础跨工具数据流模型动态污点追踪系统LLM隐式传播建模敏感触发与阻断策略数据流图构建与分析静态分析与路径预测形式化安全性质系统架构与实现评估框架与实验设计前沿挑战与开放问题参考文献1. 引言与问题定义1.1 背
印第安纳大学 Bloomington 计算机系 Chenghong Wang 课题组拟招收 两名全额资助博士生,于 2027 年秋季入学。欢迎对计算机系统、安全与 AI 基础设施感兴趣的同学申请。【研究方向】1. 机密计算与安全 AI 系统
我已属于全国老年朋友们中的一员 今天是不是许多人收到了来自运营商的重阳短信,它这是无差别群发,还是对特定年龄及之上人群发送?有40-的收到吗?这条短信的内容是,「公益短信:岁岁重阳,今又重阳。值此2026年重阳节暨老年节来临之际,谨向全国老
关键词恶意软件一名威胁行为者向 Arch 用户仓库(AUR)上传了恶意软件包,冒充两款流行的辅助工具 yay 和 paru。AUR 是 Arch Linux 及其衍生发行版的一个由社区维护、广泛使用的软件包索引,托管第三方和专有工具、测试版
关键词安全漏洞OpenCode披露了一起安全漏洞事件,1.4%的控制台用户受影响,受影响工作区内存储的第三方API密钥可能已遭泄露。在10月17日发布的声明中,该公司将此次事件与大规模蒸馏攻击关联,称正与Anthropic、OpenAI、谷
关键词黑客据外媒 ITMedia 报道,旅行平台 Skyticket 昨日通报公司遭黑客攻击,导致 6140 名用户的信用卡信息泄露。Skyticket 表示,受影响用户为 2017 年 2 月至 2018 年 6 月期间,为支付付费会员服
2026年10月17日,知名风险投资机构a16z举办了一场AI网络研究员 × @a16z 晚宴,参与者包括来自 @OpenAI、@Meta、@Stanford 等机构的研究人员与创始人。重点讨论内容包括:—— 实验室发布负结果:斯坦福大学计
美军徒步行军已形成“概念分类—计划准备—编成实施—安全与保障—职责—负荷—训练健康”完整闭环。其突出特点是量化程度高(速率、休息、负荷均有明确数值)、控制节点清晰、与战术条令和火力、工程、航空、电磁等支援条令深度耦合,并解决可持续机动问题。