Smart Contracts Claimed Vulnerable by the CVE Database, with Labels and Source Locations
本论文针对区块链智能合约的安全漏洞研究缺乏结构化真实数据的问题，基于公共 CVE 数据库构建了一个专门面向以太坊智能合约的漏洞数据集 CVE-Smart-Contracts。作者从 CVE 记录中筛选出截至 2026 年 7 月与以太坊智能
#smart-contracts
共收录 5 条相关情报。
← 返回所有主题Mechanizing Typed Regulatory Actions for Security Tokens: Semantics, Falsification, and Bounded EVM Evidence
该论文针对安全代币（Security Tokens）标准中监管操作语义不明确的问题，提出了一种机械化（machine-checked）的参考执行语义。安全代币标准通常暴露特权转移、冻结、恢复和合规机制，但机制本身并不标识其执行的法律效果或附
Designing Inclusive Crypto-Asset Dispute Resolution A Hybrid AI and Smart Contract Online Dispute Resolution Framework for Vulnerable Users
本文针对加密资产领域争议解决的困境展开研究。随着加密资产广泛使用，相关争议频发，然而传统法律救济机制难以适应其去中心化、跨境及法律规则碎片化等特点。特别是缺乏法律和技术专长的用户，往往难以识别自身权利、组织证据并寻求有效救济，从而加剧数字排
SpexPay: A Privacy-Preserving Pay-As-You-Go System for Dynamic Spectrum Sharing
动态频谱共享（DSS）是下一代无线系统的关键，但现有方案如频谱接入系统（SAS）依赖集中式管理员，暴露敏感操作元数据且缺乏加密交易问责性。尽管SAS管理员（如Google）引入了按需付费定价模型，但随着DSS向更开放和大规模的频谱市场演进，
Neuroforger: certified violation witnesses for smart contracts verification via LLMs
该论文提出了一种结合大型语言模型（LLMs）与形式化方法的智能合约验证新框架。当前智能合约验证面临两大挑战：自然语言表达的属性内在存在歧义，且LLM的答案缺乏正确性保证。作者通过两个创新点同时解决这些问题：1）设计了一种扩展Solidity