PRISM: Lightweight Enclave Isolation with Prismatic Capabilities
本文提出 PRISM，一种基于 CHERI 的轻量级可信执行环境（TEE）架构，旨在解决现有 CHERI TEE 方案的多个关键缺陷。CHERI 能力（capabilities）可以在对象级别提供空间内存安全，但先前基于 CHERI 构建
#TEE
共收录 66 条相关情报。
← 返回所有主题Reusable Enclaves for Confidential Serverless Computing.
该论文围绕机密 Serverless 计算中的安全挑战，提出了一种“可复用 Enclave”机制。在无服务器计算场景下，每次函数调用通常需要创建或加载一个受信任执行环境（TEE/Enclave），这带来显著的启动延迟和资源开销；同时，不同函
Hiding Directions, Leaking Structure: Breaking ArrowCloak through Low-Rank Structure
本文研究 TEE 屏蔽推理场景下的权重保护机制安全性。TEE 屏蔽推理将敏感状态（如模型权重）保存在可信执行环境中，而将线性代数计算卸载到不受信任的加速器上。此前 Wang 等人（USENIX Security 2025）提出 ArrowC
MATEE: Efficiently Bridging the Semantic Gap in TrustZone via Arm Pointer Authentication
本文针对Arm TrustZone可信执行环境（TEE）中安全世界与普通世界之间存在语义鸿沟（Semantic Gap）的问题展开研究。TEE利用硬件隔离机制保护敏感代码和数据，但TrustZone将系统划分为安全世界和普通世界后，安全世界
Securing Filesystems for Confidential Computing
机密计算通过可信执行环境（TEE）保护运行中的应用，但持久存储仍然面临安全威胁。即便使用磁盘加密，恶意的云服务提供商仍可对磁盘状态实施回滚、重放、分叉或篡改攻击，破坏状态型应用所依赖的完整性和新鲜性保证。现有解决方案要么假定存储可信，要么引
HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels.
该论文揭示了一种针对可信执行环境（TEE）保护下的深度神经网络（DNN）模型权重的新型攻击方法——HyperTheft。TEE 通过加密将 DNN 视为完全黑盒来抵御模型权重泄露及其后续的白盒攻击，但论文发现 TEE 的密文侧信道在 DNN
A Hardware-Software Co-design for Efficient Intra-Enclave Isolation.
该论文提出了一种硬件-软件协同设计方法，旨在解决可信执行环境（如Intel SGX）中飞地内部隔离效率低下的问题。现有飞地设计通常将整个应用放在同一个安全边界内，缺乏内部隔离机制，导致一旦飞地内某个组件被攻破，整个飞地数据都会泄露。作者设计
Abusing Trust: Mobile Kernel Subversion via TrustZone Rootkits.
Arm TrustZone 是移动设备上硬件支持的可信执行环境（TEE）的事实标准，旨在隔离安全计算与普通世界（即常规操作系统）。然而，实际部署的 TEE 通常是专有、难以审查且众所周知的不安全：过去几年中，全球数百万设备的 TEE 及其托
NARRATOR: Secure and Practical State Continuity for Trusted Execution in the Cloud.
本文提出 NARRATOR，一个面向云环境中可信执行环境（TEE）的状态连续性保护方案。TEE 如 Intel SGX 和 AMD SEV 能够保护运行时代码和数据的机密性与完整性，但缺乏对状态连续性的原生支持：当 TEE 实例崩溃、迁移或
Elasticlave: An Efficient Memory Model for Enclaves.
本文针对受信执行环境（TEE）中严格内存模型导致的性能瓶颈问题，提出了一种新的内存模型——Elasticlave。传统TEE（如Intel SGX）采用空间隔离模型，强制enclave之间不能共享内存，导致数据拷贝开销巨大，性能降低1-2个
Poster: Towards Lightweight TEE-Assisted MPC.
本论文提出了一种名为HPCG（硬件辅助伪随机相关生成器）的轻量级TEE辅助安全多方计算（MPC）解决方案。HPCG旨在解决传统MPC协议中存在的效率瓶颈问题，同时最小化对安全硬件的依赖和信任。该方法利用小型轻量级TEE芯片（LTEE），这些
TEE.Fail: Breaking Trusted Execution Environments via DDR5 Memory Bus Interposition.
本文提出了一种针对可信执行环境（TEE）的新型物理攻击方法，称为TEE.Fail。攻击者通过在DDR5内存总线上进行中间人拦截（Memory Bus Interposition），能够在TEE（如Intel SGX、AMD SEV等）的保护
AEX-NStep: Probabilistic Interrupt Counting Attacks on Intel SGX.
本文提出了一种名为AEX-NStep的新型侧信道攻击，针对Intel SGX安全飞地。该攻击通过统计中断事件的发生次数，以概率方式推断飞地内部执行的敏感信息。具体技术细节和实验评估因未提供摘要而无法详述。该研究属于对SGX安全性的持续探索，
Leafblower: a Leakage Attack Against Tee-Based Encrypted Databases.
本文提出了一种名为 Leafblower 的新型泄漏攻击，针对基于可信执行环境（TEE）的加密数据库系统。研究背景是，虽然 TEE（如 Intel SGX）旨在保护数据机密性和完整性，但加密数据库在 TEE 中运行时，仍然可能通过访问模式、
KS-CFA: Control-Flow Attestation via Symbolic Replay Against Control-Flow Bending Attacks
控制流认证（CFA）允许远程验证者在目标设备上通过监控运行时控制流行为来验证程序执行。然而，控制流弯曲（CFB）攻击通过破坏分支标志、循环计数器等运行时数据，使攻击者能够沿着程序控制流图的合法边执行，此类攻击难以检测。现有解决方案存在显著缺
NARAD: Non-colluding Aggregator-oblivious Record-And-Decrypt
本文提出了一种名为 NARAD（Non-colluding Aggregator-oblivious Record-And-Decrypt）的电子投票架构，旨在在不依赖可信密钥分发中心的前提下，同时保护投票隐私并允许公开验证。每位投票者在浏
Data Structures for Private Token Transfers in TEE-Based Networks
该论文关注基于可信执行环境（TEE）的机密智能合约网络中的隐私泄露问题。尽管TEE能保护合约数据加密，但在代币转账过程中，存储访问模式会暴露发送方与接收方之间的关联。具体而言，当合约在转账时更新接收方余额，即使数据加密，访问的存储键也会揭示
Know Thy Neighbor: Cross-TEE Mutual Attestation
本文提出了一种名为 Heterogeneous Mutual Attestation (Hema) 的协议，用于解决云计算中跨异构可信执行环境 (TEE) 的相互认证问题。在云服务中，多个分布式组件和实例之间需要通信，包括在传统执行环境和可
EnclaveX: End-to-End Confidential AI with CPU/GPU TEEs
本文针对大语言模型（LLM）在云环境部署中面临的敏感数据泄露和完整性风险，系统研究了利用CPU与GPU可信执行环境（TEE）实现端到端机密AI工作流的可行性与性能开销。当前主流云服务（Azure、GCP、AWS）依赖集中式基础设施，用户必须
RR: A Fault Model for Efficient TEE Replication.
本文提出了一种针对可信执行环境（TEE）复制的故障模型——重启回滚（RR）模型。TEE 通过硬件隔离确保计算保密性和完整性，但仅能抵御大部分外部故障，除崩溃外。因此，理论上崩溃容错（CFT）复制协议足以复制 TEE 内的可信代码。然而，TE