LLFuzz: An Over-the-Air Dynamic Testing Framework for Cellular Baseband Lower Layers.
本文提出 LLFuzz，一个针对蜂窝基带低层（如物理层、MAC层）的空中（over-the-air）动态测试框架。基带芯片是移动设备中处理蜂窝通信的关键组件，其低层协议栈通常运行在专用实时操作系统上，且与上层应用隔离，传统基于主机的模糊测试
#security
共收录 154 条相关情报。
← 返回所有主题Oxidizer: Toward Concise and High-fidelity Rust Decompilation.
本论文（arXiv 论文，标题为《Oxidizer: Toward Concise and High-fidelity Rust Decompilation》）提出了一款名为 Oxidizer 的 Rust 反编译工具或框架，旨在解决 Ru
Smart Contract Invariants Protect Against Cybercriminals
本文针对区块链智能合约频繁遭受网络犯罪分子攻击、造成巨额资产损失这一严峻安全问题展开研究。作者指出，尽管区块链环境被认为是计算领域最具对抗性的环境之一，但现有技术和概念尚未能真正有效解决漏洞被利用的问题。为此，论文提出并系统验证了经典的程序
Smudged Fingerprints: Characterizing and Improving the Performance of Web Application Fingerprinting.
该论文针对Web应用指纹识别技术的性能问题展开研究。Web应用指纹识别是一种通过分析Web服务器的响应特征来识别其运行软件的技术，既被攻击者用于预判目标系统的脆弱性以制定攻击策略，也被防御者用于资产发现和安全评估。然而，现有指纹识别技术的准
A Comparison of Malware Image Transformations Using Grad-CAM and Hybrid Learning Models
该研究专注于恶意软件检测领域中的二进制到图像转换技术，并引入可解释人工智能（XAI）工具来提升模型的可解释性。作者使用 Gradient-weighted Class Activation Maps (Grad-CAM) 作为解释工具，分析
From "Available" to "Reusable": Measuring Transparency and Reproducibility of Industrial Control System Datasets Under Security Artifact Evaluation Policies.
本文献（arXiv 论文，作者 Mohammad E. Alim 与 Tommy Morris）从标题看，聚焦于工业控制系统（ICS）安全数据集在“安全工件评估”政策下的透明性与可复现性问题。核心研究问题是从“可用（Available）”到
GuardLens: Supporting Safer Online Browsing for People with Visual Impairments.
该论文介绍 GuardLens 系统，旨在为视觉障碍人士提供更安全的在线浏览体验。视觉障碍用户在浏览网页时常依赖屏幕阅读器等辅助技术，但这些工具往往缺乏针对网络威胁（如钓鱼、恶意链接、诈骗内容）的有效警示机制，导致该群体更容易遭受网络攻击。
RustGo: Fairly Directed Greybox Fuzzing for Enforcing Rust Memory Safety
Rust作为一种系统编程语言，以其强内存安全性和低性能开销而闻名。通过所有权、借用等严格安全策略，Rust编译器能够保证大部分代码的内存安全。然而，在unsafe代码块中，这些安全策略并未完全启用，导致内存错误仍可能发生。尽管这类unsaf
Attribute-based Undetectable Watermarking for Generative AI Models
本论文针对生成式 AI 模型输出内容的水印检测授权难题，提出了首个基于属性的水印方案（Attribute-based Watermarking）。现有密码学水印方法虽能保证未授权情况下输出与水印不可区分，但检测密钥一旦分发，持有者可任意检测
Optimal Flexible Consensus and its Application to Ethereum.
经典拜占庭容错（BFT）共识协议（如 PBFT）在故障副本比例低于三分之一时，能够同时为所有客户端保证安全性和活性。然而在高价值支付等应用场景中，不同客户端对安全性和活性的偏好可能不同：部分客户端更看重安全（即避免交易被回滚或双重支付），而
BadVFL: Backdoor Attacks in Vertical Federated Learning.
本文提出了一种针对纵向联邦学习（Vertical Federated Learning, VFL）场景的新型后门攻击方法 BadVFL。联邦学习允许多方在不共享原始数据的前提下协作训练机器学习模型，根据数据划分方式可分为横向联邦学习（HFL
PRWeaver: Evaluating LLM-Based Code Auditors against Long-Horizon Malicious Pull Requests
该论文关注基于大语言模型（LLM）的代码审计器在 pull-request（PR）工作流中的可靠性问题。尽管这类审计器已被广泛集成，但其对跨仓库演进过程中分布式恶意更改的抵御能力仍缺乏系统研究。为此，作者提出了 PRWeaver 基准，包含
Formalization of security
该论文是 Gilles Barthe 撰写的一篇关于安全形式化的综述章节，聚焦于证明助手（proof assistants）在计算机安全领域的应用。研究背景是：设计与实现必须满足预期的安全属性，而证明助手能够通过机械化推理严格验证这些属性，
On Exercising Governance Power in Decentralized Autonomous Organizations
本文研究去中心化自治组织（DAO）中治理权力的行使机制及其安全影响。DAO 是一种通过智能合约管理区块链协议的治理实体，其治理合约明确规定了利益相关者如何提出、表决和执行协议变更。作者指出，治理合约的设计选择对 DAO 及其管理的智能合约的
Hybrid Analysis for Secure MCP Tool Use in LLM Agents
随着大型语言模型（LLM）智能体的快速发展，其已被广泛应用于各类真实世界任务。为了标准化LLM智能体与外部环境之间的交互，模型上下文协议（MCP）工具应运而生，并成为事实上的标准，被广泛集成到这些系统中。然而，MCP工具的使用也引入了新的安
Trust, But Verify: A Longitudinal Analysis Of Android OEM Compliance and Customization.
本文对Android OEM定制化进行了首次纵向研究。研究团队构建了包含2907个ROM的数据集，覆盖42个不同厂商，跨越Android 1.6至9.0版本（2009-2020年）。他们开发了一个分析框架和流水线，用于提取每个ROM的定制层
Omnes pro uno: Practical Multi-Writer Encrypted Database.
本文提出了一种实用的多写入者加密数据库方案（Omnes pro uno）。传统的加密数据库通常只支持单一写入者，或者为了支持多写入者而牺牲安全特性或查询能力。该方案在保持与单写入者方案相当的安全性的同时，支持连接查询和范围查询，且性能与现有
SMARM+: Analyzing and Enhancing Shuffled Measurements for Remote Attestation in Real-Time IoT Settings
远程证明（RA）是一种轻量级安全原语，用于检测物联网设备上的软件篡改。传统RA方案要求原子性、不可中断的内存测量，难以与实时任务共存。SMARM通过以秘密随机分块顺序测量内存来解决此问题，将不可中断期缩短为单个块测量的持续时间。然而，SMA
Security Perceptions of Users in Stablecoins: Advantages and Risks within the Cryptocurrency Ecosystem.
该论文聚焦于加密货币生态系统中的稳定币用户安全感知问题。稳定币作为一种与法定货币或其他资产挂钩以维持价格稳定的加密货币，在加密经济中扮演重要角色。然而，以往研究多从技术和理论角度分析稳定币的安全性，较少关注用户在实际操作中的风险感知和安全行
How Does Blockchain Security Dictate Blockchain Implementation?
该论文以形式化框架分析区块链安全保证与协议实现之间的内在关系。作者首先指出，不同区块链协议提供类型不同的安全保证：BFT 类协议（如 Algorand）通常在部分同步环境中安全，而最长链协议（如 Bitcoin）则需要更强的同步性才能确保安