Attestable Audit: Property-Based Attestation for Proprietary Workloads without Artifact Disclosure
该论文针对远程证明（remote attestation）在专有软件场景下的信任缺口提出了一种新架构。背景是：可信执行环境（TEE）通过硬件绑定密钥对自身配置信息签名，生成包含内部加载代码度量值（cryptographic digests
#remote-attestation
共收录 13 条相关情报。
← 返回所有主题INTCC: A Framework for Interactive Confidential Computing
该论文针对机密计算（Confidential Computing）在交互式开发流程中的结构性矛盾提出了新的系统范式。传统上，机密计算依赖 AMD SEV-SNP、Intel TDX 等可信执行环境（TEE）来保护"使用中数据"的机密性与完整
TPM-Attest: Hardware-Rooted Integrity Attestation as a Kernel-Level Anti-Cheat Alternative for Linux
该论文针对 Linux 平台多人联机游戏的一个结构性矛盾展开研究：游戏发行商普遍要求的反作弊系统以闭源 Ring 0 内核模块形式实现，而这类模块在架构上与 Linux 的安全模型、GPL 许可证的传染性要求以及内核对稳定 ABI 的承诺根
"They don't care about this": A Systematic Study of TEE Build Reproducibility in the Wild
该论文系统性研究了可信执行环境（TEE）构建过程的可复现性（reproducibility）问题，选题紧扣云上机密计算信任链的根基。研究背景是：TEE（如 Intel SGX、Intel TDX、AMD SEV）已成为现代云计算的关键基础设
Session Attestation for Unmodified TLS Services in Confidential Virtual Machines
该论文关注机密虚拟机（Confidential VM，CVM）场景下既有 TLS 服务的会话证明（session attestation）难题。当把现有服务迁移进可信执行环境（TEE）后，若要向对端证明这条 TLS 连接确实终止于一个经过远
TPMSpy: Validation of Measured Boot Systems by Low-Level Tracing of TPM Usage
本文提出了一种名为 TPMSpy 的平台无关方法，用于验证可信启动（Measured Boot）系统的实际实现是否符合预期安全假设。可信启动通过将执行软件和系统状态的密码学度量记录到可信平台模块（TPM）中，从而支持远程证明。然而，现有操作
Bootstrapping Mutual Attestation with Kleene's Second Recursion Theorem
这篇论文研究的是无中心可信运营者的节点间“相互证明”（mutual attestation）问题。在远程证明（remote attestation）场景中，每个节点为了验证对端节点的可信性，需要持有对端代码的参考度量值（reference
A Challenge-Nonce Freshness Gap in Project Veraison's TPM Reference Schemes, Found by Appraising Application-Layer Action Evidence End-to-End
本文针对远程证明（Remote Attestation）体系中一个被忽视的安全缺口进行了端到端验证。背景是：当自动化代理（如 AI Agent）执行重要操作时，其留下的记录由自身软件栈生成，而该软件栈的可信性恰恰是待验证的。签名日志只能证明
D-MUTRA: DLT-based MUTual Remote Attestation for Multi-Agent Systems
本文提出 D-MUTRA，一个基于区块链的互信远程证明框架，用于解决多智能体系统（MAS）中的运行时完整性验证问题。MAS 由多个自主软件代理组成，在关键网络物理域（如多机器人协作、工业物联网）中协同执行复杂任务。如果某个代理被攻陷并运行修
Hardware-rooted attestation for AI-agent evidence: composing IETF RATS with action evidence packages
本文提出一种将硬件根信任与 AI Agent 软件层证据相结合的可信证明方案。作者指出，纯软件层的行为证据包（Action Evidence Package, AEP）——即由 Agent 运行时签名的、仅可追加的日志记录（包含操作内容、授
SMARM+: Analyzing and Enhancing Shuffled Measurements for Remote Attestation in Real-Time IoT Settings
远程证明（RA）是一种轻量级安全原语，用于检测物联网设备上的软件篡改。传统RA方案要求原子性、不可中断的内存测量，难以与实时任务共存。SMARM通过以秘密随机分块顺序测量内存来解决此问题，将不可中断期缩短为单个块测量的持续时间。然而，SMA
Implement Kubernetes Pod-Level Remote Attestation for Confidential Workloads on dstack
随着LLM即服务等机密云工作负载的兴起，用户数据必须在可信且未被篡改的环境中处理，这需要密码学证明。现有的解决方案，特别是Confidential Containers (CoCo)，强制采用严格的“每个Pod一个虚拟机”模型，仅证明客户操
PIRANHAS: PrIvacy-Preserving Remote Attestation in Non-Hierarchical Asynchronous Swarms.
本文提出 PIRANHAS，一种针对非层次异步无人机群（swarm）的隐私保护远程证明（Remote Attestation）协议。在无人机群等大规模分布式系统中，远程证明用于验证节点的软件完整性，但现有方案往往假设层次结构或同步通信，且缺