Secure Enclave For MCUs

简介: A new secure enclave implementation in RISC-V Trusted Exectuion Environment

Effectively Manipulation In Enclave Execution For MCU Class

T-HEAD Alibaba Group Vincent Cui cxx194832@alibaba-inc.com

Outline

To guarantee all enclaves execute in authentic and trustworthy platform separately, we shall assure the attestation chain of trust is provable security from power on to system running even there exists with vulnerability inside in constrained resource chip. Beside from those known issue, there is still not a better scheme to manipulate device arbitrarily in enclave, it might result in user sensitive and privacy data generated from the device leakage when the device is also shared to other enclave. RISC-V offers a classical U/M secure program mode for embedded device. Obviously, the ZSBL (Zero Stage Boot Loader) and privilege code running in machine mode are our TCB (Trusted Computing Base), the other parts belongs to user mode scope. In addition to RISC-V inherence security, we are desired to support secure boot、secure enclave execution and secure device manipulation in enclave. We specially introduce a proposal which allows one enclave could own and operate specific-peripheral arbitrarily. It is very practical functionality in IoT product because amount of data generated by specific device in product is too valuable and private for user to be revealed by itself share to other application.

Secure Boot

The ZSBL is responsible for generating a couple of key and certification will be used In sequence operation. It mainly includes RISC-V core attestation key and certification aside from a storage symmetric key. The symmetric key is derived from a temper-resistant device secret in hardware. Some attestation key and certification are derived from processor attestation key and certification.

Secure Enclave Execution

Enclaves usually run on SEP (Secure Enclave Platform) which must be provable authenticity. Its properties could be decomposed into Execution Integrity, I/O Data Confidentiality and Program Measurement. With that alone, SEP provides a small set of primitives for enclave, all outside software could only interact with enclave via those primitives without any information leakage. To enable efficient I/O interaction with host program, SEP allows enclave to access the entire address space of host program. Once SEP verifies the desired enclave measurement correctly, host program can only transfer its control to the enclave at statically-define location named “entrypoint”. Due to constraint resource, all enclave should be linked with system program statically. Beyond enabling isolated execution, SEP implements primitive to provide attestation information for enclave in need.

Secure Device Manipulation with DEVPMP In Enclave

One enclave could manipulate a specific-device arbitrarily by setting the device register address space into DEVPMP register in privilege software in RISC-V core. But privilege software attacker can allocate same resource for other enclave. To address the need, we require extent a bit of DEVPMP register and PMP checker policy to protect it against access by other enclaves. The configuration of DEVPMP register like this will remain effective until next reboot. Consequently, the device interrupt is handled in the enclave else.

Above three aspect of enclave implementation could make sure enclave runs at secure platform and execution without sensitive information disclosure.

原文作者:cui_632
点击查看原文

相关文章
|
存储 算法 数据库
BTRFS - A Forest,extent分配树,同步与并发
介绍Btrfs如何由树木森林构成。
608 3
python用鼠标获取图像任一点的坐标和像素值
python用鼠标获取图像任一点的坐标和像素值
|
存储 定位技术 数据库
如何使用Qchan搭建更好保护个人隐私的本地图床并在公网可访问
如何使用Qchan搭建更好保护个人隐私的本地图床并在公网可访问
397 0
|
7月前
|
监控 安全 数据建模
阿里云SSL证书活动参考,付费证书248元起,免费证书每用户每年可申请20张
2026年阿里云SSL证书活动推出付费证书248元起、新老用户同享8折优惠,覆盖DV到EV全类型,满足个人网站至金融机构多样化需求。活动包括新用户专区优惠、证书加急部署服务、HTTPS加速网关及域名监控等增值服务。此外,阿里云还为用户提供免费版SSL证书,每个自然年可领20张。
1004 4
阿里云SSL证书活动参考,付费证书248元起,免费证书每用户每年可申请20张
|
7月前
|
人工智能 自然语言处理 API
智能体开发 避坑指南:读懂 黎跃春 的 AI智能体运营工程师 体系与 SOP 代码化实践
阿里云开发者必读:深度解析黎跃春“AI智能体运营工程师”体系。揭秘如何将业务 SOP 转化为高可用的 Python 代码与工作流,避开智能体开发中的“人工智障”陷阱。
|
存储 关系型数据库 分布式数据库
突破大表瓶颈|小鹏汽车使用PolarDB实现百亿级表高频更新和实时分析
PolarDB已经成为小鹏汽车应对TB级别大表标注、分析查询的"利器"。
突破大表瓶颈|小鹏汽车使用PolarDB实现百亿级表高频更新和实时分析
|
Unix Linux 开发者
在Linux中,什么是GPL、GNU,自由由软件?
在Linux中,什么是GPL、GNU,自由由软件?
|
测试技术 Linux 开发工具
软件测试之【软件测试初级工程师技能点全解】
软件测试之【软件测试初级工程师技能点全解】
769 0
|
人工智能 机器人 数据挖掘
Python+工业4.0:普通工厂的逆袭之路!
Python+工业4.0:普通工厂的逆袭之路!
361 0

热门文章

最新文章