共收录 154 条相关情报。
← 返回所有主题该论文详细阐述了Themis共识扩展v1的设计与分析，该扩展由Mangata在2021年首次发布，旨在缓解区块链中的最大可提取价值（MEV）问题。MEV源于特权参与者通过选择、排除、插入或重新排序待处理交易以获取私利。Themis设计将价值
该论文研究离线位置追踪生态系统中的隐私与安全平衡问题，重点关注如何设计抗滥用的位置追踪协议。现有位置追踪设备（如蓝牙追踪器）广泛应用于寻找丢失物品，但也可能被用于未经授权的跟踪（如跟踪他人）。论文提出一种新型加密协议，允许设备所有者查找其物
本文针对受信执行环境（TEE）中严格内存模型导致的性能瓶颈问题，提出了一种新的内存模型——Elasticlave。传统TEE（如Intel SGX）采用空间隔离模型，强制enclave之间不能共享内存，导致数据拷贝开销巨大，性能降低1-2个
该研究旨在解决日益复杂的监管环境下的合规性问题，提出利用计算工具进行法律审计的可能性。具体而言，研究者探索构建一个计算审计器，用于检查移动健康（mHealth）应用是否满足联邦安全与隐私法规。他们发现，虽然将开放式的、普遍适用的复杂法律转化
该论文首次系统研究了新兴支付协议x402的安全性问题。x402扩展了HTTP 402，为Web API和自主AI代理提供支付能力，其核心设计是将支付证明验证和链上结算委托给第三方促进者（facilitators），以实现跨商家的共享支付基础
本文研究了一种针对图神经网络（GNN）的数据无模型提取攻击。传统的模型提取攻击通常需要访问目标模型的训练数据或大量查询，但在实际场景中，攻击者可能无法获取原始数据。作者提出了一种基于生成对抗网络（GAN）的方法，无需任何真实训练数据即可高效
本研究首次系统性地实证探讨了基于大语言模型（LLM）的代码生成系统中长期记忆（Long-Term Memory）存储不安全编码偏好对安全性的影响。长期记忆旨在提升跨会话的连续性，但一旦不安全的编码偏好被存储，可能会在后续生成中潜移默化地影响
该论文对区块链可提取价值（BEV）进行了全面的量化分析，旨在回答“BEV的黑暗森林到底有多暗”这一核心问题。研究覆盖了32个月内的以太坊区块链数据，涉及49,691种加密货币和60,830个链上市场。作者通过分析三种主要的BEV提取方式：三
该论文提出了一种名为 VIGIL（Verifying Identity via Gated Intermittent Likelihoods for Continuous Biometric Authentication）的连续多模态身份认
本文提出了一种创新的虚拟机迁移优化模型，名为负载均衡和能效迁移模型（Load Balancing and Energy-Efficient Migration Model），旨在解决云环境中虚拟机迁移的负载均衡、能耗优化和安全防护问题。模型
本文对苹果公司的差分隐私框架（DifferentialPrivacy.framework）进行了系统性审计，重点考察其实现中的软件缺陷、配置错误以及由此带来的实际隐私风险。研究首先分析了苹果在iOS和macOS中部署的差分隐私机制，包括私有
该论文探讨了高效模型检查与安全处理器设计之间的相互作用，以安全推测（Secure Speculation）为案例。针对推测执行侧信道攻击（如Spectre）带来的安全威胁，传统缓解措施往往带来显著的性能开销或设计复杂性。论文提出一种形式化方
该论文针对现代CPU微架构侧信道泄露信息的安全问题，提出了一种自动提取指令级泄露契约的方法。泄露契约是一种ISA级别的安全抽象，为安全CPU编程提供基础。由于当前微架构的复杂性，手动设计泄露契约需要大量人工工作，因此现代CPU缺乏专用的泄露
本文是第2届ACM安全与可信超级应用研讨会（SaTS '24）的介绍。超级应用（Superapps）是一类集成了多种服务（如支付、社交、出行）的平台，近年来在移动生态中快速普及。然而，其高度集成的特性带来了新的安全与隐私挑战，例如跨服务数据
多智能体强化学习（MARL）在无人机集群控制、机器人协同操作等领域的广泛应用前景，但其部署过程中存在的安全威胁尚未得到充分研究。已有工作主要聚焦于完全可观测环境下的双人竞争场景，攻击者能够利用受害者的漏洞生成对抗策略，例如将超人类水平的围棋
过去十年中，对抗鲁棒性研究产生了数百种防御模型，但文献几乎普遍孤立地报告鲁棒性结果：仅展示鲁棒模型的标准（干净）准确率和对抗准确率，而很少量化与对应普通模型（vanilla model）的差距。本文提出 VanillaBench，一个系统化
该研究探讨了后量子密码（PQC）集成到TLS 1.3中对手握握握手耗尽攻击和入侵检测系统（IDS）性能的安全影响。PQC虽然能抵御量子攻击，但其计算和通信开销可能加剧握手耗尽型分布式拒绝服务（DDoS）攻击的效果。研究者搭建了一个包含一台P
该论文首次提出针对容错量子计算机中解码系统的侧信道攻击新类型。在容错量子计算中，解码器负责处理从量子硬件实时获取的综合征数据以纠正错误。然而，论文指出这些综合征数据可能泄露正在执行的逻辑电路信息，从而构成侧信道攻击。作者引入了“门指纹”概念
该论文聚焦于大语言模型（LLM）从云端向边缘设备（如企业本地服务器、个人终端、物联网平台）迁移过程中面临的安全与隐私挑战。作者指出，边缘环境下有限的计算和内存资源迫使开发者采用量化、剪枝、模型分区、参数高效微调等优化技术，但这些技术可能引入
区块链中的抢跑（front-running）是一个持续存在的安全问题。区块链本质上是执行交易（指令）的状态机，用户通过发布有价值的功能性交易来获得奖励。攻击者观察到这些交易后，在其之前发布自己的类似交易，从而抢夺奖励，削弱用户发布功能性交易