Detecting Logic Vulnerabilities Across the Contract and Device Layers of Blockchain-Enabled IoT With Multi-Agent Heterogeneous Graph Attention
该论文聚焦区块链赋能的物联网（Blockchain-enabled IoT）系统中的逻辑漏洞检测问题。这类系统把链上智能合约与链下嵌入式设备固件结合起来，用于去中心化的设备管理与访问控制，因此其安全性同时取决于合约逻辑与固件逻辑：任一层的逻