PCM: A Proof-Carrying Message Protocol for Verifiable Multi-Agent Communication
When one AI agent tells another that "the tests passed" or "a person approved this refund", the receiver has only the se
#cs.CE
共收录 22 条相关情报。
← 返回所有主题Tracekit Box: Running AI Agents in Micro-VMs Where Every Way Out Is Decided and Signed
AI agents now install packages, call model APIs with their operators' keys and change code in repositories that deploy t
Manifest-Assisted Retrieval in Artificial Intelligence Search: Evidence Gaps and a Security Evaluation
The external sources retained in our non-systematic audit did not isolate the incremental security or utility effect of
From Hype to ROI: An Economic Model for LLM Adoption in Information Systems and Security Operations
Large Language Models (LLMs) promise significant efficiency gains across information-intensive operations by automating
A Systematization of Knowledge on DeFi Vaults: Architectures, Curation Mechanisms, and Strategy Design
本文是一篇关于去中心化金融（DeFi）金库（Vault）的系统化知识梳理（Systematization of Knowledge）论文。作者指出，DeFi 金库是基于智能合约的资产管理系统：它汇集用户存款、执行可编程策略，并铸造代表对底层
Making Duplicate Reimbursement Unrepresentable: A Verified Ethereum E-Invoice System for Humans and AI Agents
该论文针对电子发票在消费/报销侧长期存在的三个痛点——同一张发票可被重复提交报销、收票方难以验证真伪、数据集中托管在中心化机构从而形成性能瓶颈与单点故障——提出并完整实现了一套基于以太坊的电子发票系统。方法上，作者首先将发票生命周期形式化为
Tracekit: Tamper-Evident Intent-Reasoning-Action Auditing for Autonomous Coding Agents
Tracekit 是面向自主编码代理的开源、无依赖审计系统，针对的核心问题是：编码代理会读取不可信文件、执行 shell 命令、派生带极少监督的子代理，但事后留存的往往只是可被随意编辑的日志，无法作为可信证据。Tracekit 为每个代理会
Trust, but Validate the Instrument: Auditing AI-Generated RTL Verification Plans on Authored Security-Regression Proxies
该论文研究 AI 生成 RTL 验证计划在硬件安全场景下的可信度问题。作者指出:大模型生成的验证计划即使通过了服务商(provider)的响应 schema 校验,也可能在进入可信执行环节时失败,即「schema 合规」不等于「执行有效」。
When AI Agents Meet MEV: Cross-Chain Arbitrage in the Agentic Economy
该论文研究的是当「搜索者」从人类或自动化脚本变为自主 AI 代理时的跨链套利问题，属于 agentic economy 与 MEV（最大可提取价值）交叉领域。作者提出一个双向视角的建模框架：AI 代理既是套利的提取者，也可能成为 MEV 的
Quantifying Observable High-Frequency Swapping on Arbitrum
该论文研究以太坊 Layer-2 rollup 时代出现的新型链上交易行为。作者指出，Arbitrum 等 rollup 以确定性排序、亚秒级出块和极低 gas 费取代了传统内存池竞争，虽抑制了经典 MEV，却催生了此前未被系统识别的行为模
Your Agent Says Yes: Interpreting Adversarial Market Behavior Beyond Individual Transactions
本文研究了一个关键的安全解释缺口：传统金融安全控制通常以单笔交易为粒度进行审批，但真实的市场操纵行为可能分散在多个消息、智能体、资产和时间周期中，单笔交易的合法/非法判定无法覆盖这种跨维度的复杂行为。作者在一个由十个角色化语言模型智能体构成
RWA-PoB: A Credential-Based Proof-of-Backing Framework for Tokenized U.S. Treasury Products
本文提出针对代币化美国国债的基于凭证的支持证明框架 RWA-PoB。现有储备证明方案仅能提供总储备规模，无法确认链下资产是否合法合规、无产权负担、估值一致或具备足够的赎回流动性。RWA-PoB 引入五个授权机构角色，共同签署一个符合 EIP
Poisoning Agentic Alpha: Adversarial Vulnerabilities Across Roles and Architectures in Multi-Agent Trading Systems
该论文系统研究了基于大语言模型（LLM）的多智能体交易系统中的对抗性漏洞。这类系统由多个专业智能体通过结构化通信协作生成交易决策，正从研究原型快速走向控制真实资产的实时部署。然而，智能体间的通信在提升效率的同时也引入了攻击面：一个被污染的信
FlowShield: cryptocurrency anti-money laundering with transaction semantics parsing and fund flow tracking
本文提出 FlowShield，一个面向加密货币反洗钱（Crypto AML）的框架，旨在解决现有方法在应对复杂、跨链洗钱行为时的不足。当前洗钱手段常通过多样化交易语义和跨多区块链快速拆分被盗资产，而传统 AML 方法往往简化交易语义、仅依
Diagnosing High-Performance BFT Consensus via Mixture Modeling of Block Time Distributions
该论文针对高性能拜占庭容错（BFT）区块链系统在实际运行中区块时间分布呈现复杂多模态特性的问题，提出了一种基于混合建模的诊断方法。研究背景在于，虽然高性能BFT共识（如基于HotStuff的协议）致力于实现高吞吐和低延迟，但受网络条件、流水
Rethinking Collaborative Trust for Verifiably Decentralized Blockchain Systems
本文针对区块链系统中普遍存在的中心化问题展开研究。尽管区块链技术承诺去中心化，但多项测量研究表明，在实际的区块链系统（如比特币、以太坊）中，几乎所有层面（共识、治理、应用等）都出现了显著的中心化现象，且难以明确量化中心化程度。现有去中心化改
The Fungible Reserve Standard: A Deterministic Framework for Encoding Carrying Costs in Asset-Backed Tokens
该论文提出了可互换储备标准（Fungible Reserve Standard, FRS），这是一个确定性的代币设计框架，旨在解决真实世界资产（RWA）代币化过程中面临的持有成本（负利）问题。当前，实物资产如贵金属、存储商品等会产生持续的存
An AI Security Agent for Banking: Multi-Vector Fraud and AML Detection Across Retail and Corporate Accounts
该论文针对零售银行和企业银行面临的两类欺诈威胁——基于签名的欺诈（如无卡支付攻击、账户接管、ATM克隆）和基于行为的金融犯罪（如结构化交易、分层洗钱、钱骡网络、商业邮件诈骗）——提出了一种AI安全代理融合架构。这两类威胁的检测需求根本不同：
Post-Quantum Secure Federated DeFi for Inclusive Banking
该论文针对量子计算对现有金融加密体系构成的威胁，提出了一种后量子安全的联邦去中心化金融（DeFi）框架，旨在提升因信用记录不足而被传统银行排斥的个人的金融包容性。核心方法包括：多家银行将客户加密数据批量上传至虚拟服务器，采用基于格的全同态加
Trustworthy Smart Fabs via Professional Proxies: Scaling Safe and Sustainable by Design (SSbD) through Industrial Data Spaces
该论文针对2026年欧盟安全与可持续设计（SSbD）框架、企业可持续发展尽职调查指令（CSDDD）和碳边境调节机制（CBAM）等法规给先进半导体制造工厂（智能工厂）带来的治理瓶颈，提出了一种零信任的社会技术编排框架。该框架在可信工业数据空间