#logic-vulnerability

共收录 2 条相关情报。

← 返回所有主题
学术论文2026-09-16 发布INFO

Detecting Logic Vulnerabilities Across the Contract and Device Layers of Blockchain-Enabled IoT With Multi-Agent Heterogeneous Graph Attention

该论文聚焦区块链赋能的物联网(Blockchain-enabled IoT)系统中的逻辑漏洞检测问题。这类系统把链上智能合约与链下嵌入式设备固件结合起来,用于去中心化的设备管理与访问控制,因此其安全性同时取决于合约逻辑与固件逻辑:任一层的逻

历史摘要 · 未重新核验 · arXiv cs.CR

学术论文2026-07-01 发布INFO

Antaeus: Hunting Repository-Level Logic Vulnerabilities via Context-Grounded LLM Reasoning

该论文提出了Antaeus,一个用于检测仓库级逻辑漏洞的框架,通过将LLM推理锚定在仓库级代码上下文中来克服现有方法的局限性。逻辑漏洞的识别需要推断应用特定的安全不变量和隐式假设,而现有基于LLM的检测器在内存安全等漏洞上表现良好,但难以处

历史摘要 · 未重新核验 · arXiv cs.CR