顶会论文解读
关注
分享
扫一扫
文章平均质量分 92
搜集计算机顶级会议中关于机密计算的论文，由专业学者主笔进行深度解读。
Teecertlabs
南方科技大学 TeeCert Labs 可信系统安全实验室
公众号【机密计算前沿技术】期待您的关注。
展开
-
【机密计算顶会解读】12：机密提示——保护云LLM推理服务中的用户提示词
本文介绍一种安全分区解码和提示混淆的方法，以高效和可扩展的方式使用CVMs，既能保证提示的机密性，又能同时确保模型机密性、输出不变性和计算效率。原创 2025-03-28 17:04:19 · 1155 阅读 · 0 评论 -
【机密计算顶会解读】11：ACAI——使用 Arm 机密计算架构保护加速器执行
本文介绍ACAI，其构建一个基于CCA的解决方案，使得机密虚拟机能够安全地使用加速器，同时保持与现有应用程序的兼容性和安全性，能够实现对加速器的安全访问。原创 2025-03-21 16:01:52 · 1252 阅读 · 0 评论 -
【机密计算顶会解读】10：WAVEN——用于 Enclaves 的 WebAssembly 内存虚拟化
本文介绍WAVEN，其聚焦于为运行在可信执行环境（TEE）内的WebAssembly（Wasm）运行时设计一套适合机密计算的内存管理方案，以实现机密计算环境中Wasm模块之间的高效数据共享，并支持细粒度的内存访问控制。原创 2025-03-18 16:40:50 · 1288 阅读 · 0 评论 -
【机密计算顶会解读】09：vSGX——在AMD SEV处理器上虚拟化SGX Enclaves
本文介绍vSGX可信执行环境架构，通过软件的方式在AMD SEV平台上实现SGX的功能和安全性，并且在提供对现有应用的二进制兼容的同时保留SEV的安全性。原创 2025-03-14 16:49:40 · 1394 阅读 · 0 评论 -
【机密计算顶会解读】08：Cipherfix——缓解软件中的密文侧信道攻击
本文介绍CipherFix工具，专门设计用于防止密文侧信道攻击，能够有效解决常量时间实现中存在的脆弱性问题。原创 2025-03-11 14:23:51 · 992 阅读 · 0 评论 -
【机密计算顶会解读】07：eOPF——用于机密云计算的可扩展编排和保护框架
本文介绍eOPF框架，通过监控enclave与OS交互，从而提供细粒度控制、共同认证和侧信道防御。原创 2025-03-02 17:30:00 · 1379 阅读 · 0 评论 -
【机密计算顶会解读】06：CipherH——密文侧信道漏洞自动化检测的密码学实现
本文介绍CipherH，一种针对可信执行环境中存在的密文侧信道漏洞的自动化检测方法与实现。原创 2025-03-01 17:30:00 · 718 阅读 · 0 评论 -
【机密计算顶会解读】05：Nimble——机密云服务的回滚保护
本文介绍Nimble，一种能够为运行在机密云服务中的应用提供回滚攻击检测的工具，以保证TEE能够获取最新的状态。原创 2025-02-28 17:14:54 · 801 阅读 · 0 评论 -
【机密计算顶会解读】04：EncalveFuzz——用于查找 SGX 应用中的漏洞
本文介绍EnclaveFuzz，其能够利用模糊测试技术，通过自动化异常输入检测SGX应用中的漏洞。原创 2025-02-27 16:46:33 · 988 阅读 · 0 评论 -
【机密计算顶会解读】03：面向机密无服务器计算的可复用Enclave机制
本文介绍一种可复用Enclave机制，用以应对机密无服务器计算挑战，可显著降低TEE启动延迟与资源成本。原创 2025-02-26 15:50:25 · 825 阅读 · 0 评论 -
【机密计算顶会解读】02：VeriSMo——TEE的安全基石
本文介绍VeriSMo安全服务框架，其基于形式化方法，利用Rust语言和准确的数学描述验证，确保TEE的机密性和完整性。原创 2025-02-25 17:13:41 · 1119 阅读 · 0 评论 -
【机密计算顶会解读】01：BlackBox——用于保护不受信任操作系统上的容器安全监视器
本文介绍BlackBox系统架构，其核心组件CSM，提供轻量化安全监控，使容器在不可信操作系统上安全运行。原创 2025-02-24 16:56:00 · 972 阅读 · 0 评论