【2023集创赛】平头哥杯一等奖作品:基于无剑100开源SoC平台构建双核TEE安全系统

news/2024/7/10 21:07:04 标签: 开源, 安全

本文为2023年第七届全国大学生集成电路创新创业大赛(“集创赛”)平头哥杯一等奖作品分享,参加极术社区的【有奖征集】分享你的2023集创赛作品,秀出作品风采,分享2023集创赛作品扩大影响力,更有丰富电子礼品等你来领!

团队介绍

参赛单位:北京理工大学
队伍名称:2+1=3
指导老师:高巍,王卫江
参赛队员:孔繁聪,李鸿烁,蒲康然
总决赛奖项:一等奖(平头哥杯企业大奖)

作品背景

随着5G和物联网技术的快速发展,信息安全问题日益突出,越来越多的数据在云环境下进行存储、共享和计算,云环境下的数据安全与隐私保护也逐渐成为学术界以及工业界关注的热点问题。目前阶段,隐私保护技术主要基于密码算法及协议 (如安全多方计算、同态加密等)完成场景落地,其优点主要在于具有较高的安全性和可靠性,然而,由于这些算法或协议的实现依赖于大量复杂计算(如乘法循环群上的乘法、指数运算,Pairing运算,格上的数学运算等),因此存在较大的性能瓶颈,难以在实际场景中大规模应用。

作为基于密码学的隐私保护技术的一种替代方案,可信执行环境(Trusted Execution Environment,TEE)是保障信息安全的有效手段。可信执行环境基于访问地址隔离的CPU实现了安全计算,可在保证计算效率的前提下完成隐私保护。TEE强大的数据安全和隐私保护能力,使其成为隐私计算主要技术流派之一。

可信执行环境是保护信息安全的有效方式。片上系统(SoC)是目前芯片设计中广泛使用的技术,它集成了多种知识产权核(IP),能够以较短的设计周期实现功能复杂和高性能的集成电路(IC)系统。此外,在FPGA上部署安全算法和测试可以使SoC更高效,这意味着将安全算法设计为SoC中的IP可以有效提高系统的效率。

由于精简指令集(Reduced Instruction Set Computer-V, RISC-V)是一种开源的精简指令集架构(ISA),已广泛应用于为实际应用构建 SoC。构建一个基于RISC-V的具备TEE安全能力的双核SoC系统将有效提高TEE系统的效率,以及推动TEE的发展。

作品简介

在本次设计中,我们主要完成以下工作:
(1)参考无剑100 SoC平台构建了一个具有多层总线结构的隔离双核系统。并且设计了支持SHA-256、RSA和AES-128算法硬件加速的集成密码核。
(2)基于信任链(CoT, Chain of Trust)设计了一个结合AES-128对程序加解密,SHA-256提取程序特征和RSA签名验签的安全启动机制。
(3)设计了地址访问防火墙(IOPMP)用于限制非安全E902核对内存、MMIO的访问。
(4)实现了Mailbox用于建立双核E902系统的安全核间通信和数据交换。
(5)实现了硬件化的网络通信协议栈,为双核TEE系统设计并实现了REE核负责与外界交互,TEE核负责安全服务的加密通信系统,并设计了对应的上位服务端。
(6)整体系统使用Xilinx Virtex® UltraScale™ FPGA 的VCU108 评估板实现并验证了设计的正确性。

硬件架构

在这里插入图片描述

按照可信执行环境的设计思想,在本方案的双核SoC中,中央处理器分为TEE核与REE核,分别执行系统开发人员设计的专用的安全服务程序和可由系统用户自定义的通用的应用程序。总线地址空间也分为两个部分,一部分为安全世界,这部分内容只能由TEE核访问,包括密码学服务相关模块,TEE核运行的IRAM和DRAM等;另一部分为非安全世界,这部分内容TEE核与REE核都可以访问,包括USART串口,Mailbox等。因此,在AHB总线矩阵中,TEE核可以直接接入总线,作为master设备访问任何地址,而REE核需要在接入总线之前先接入IOPMP,经过IOPMP的检查后再接入总线。

安全应用

在这里插入图片描述

本系统的应用场景设计为一个利用数字签名和加密通信机制在远程服务器实现安全登录并加密通信的系统,用户通过安全设备与服务器的双向数字签名认证进行登录,认证完成后通过非对称加密方式与服务器进行密钥协商,协商完成后使用对称加密进行加密通信。在用户使用该系统登录的场景下,REE核通过串口接收用户的输入,根据用户的输入解码出不同操作指令。随后,通过Mailbox核间通信机制将用户信息发送给TEE核进行数字签名或信息加解密的操作,再通过Mailbox收取加解密后的信息,然后与远程服务器通信来完成一系列操作。

成果展示

在这里插入图片描述

在这里插入图片描述

参赛感想

这次比赛能取得这样的成绩,我们要感谢赛方企业为我们提供的技术支持和企业评委们的认可,也要感谢学校和老师们为我们提供的平台、设备方面的支持。通过这次比赛,我们总结了一些经验和教训,在这里与大家分享:

  1. 多关注比赛官网,尽量早确定题目,确定题目后随时关注赛方的通知,还有赛题讲解和培训等,有助于设计符合要求的作品;
  2. 仔细阅读题目要求,按照题目要求设计作品,在提交作品时要确保每一个题目要求都满足。
  3. 赛题发布一般较早,二月份左右就会发布。较早开始阅读、分析赛题,可以让我们选择兴趣更高、技术要求更适合的赛道;
  4. 关注大赛官网,尽早加入钉钉群/QQ群可以让我们更及时获取信息。
  5. 遇到技术问题及时咨询赛题技术负责人,咨询途径不限于赛题钉钉群/QQ群,技术负责人邮箱等。及时咨询可以避免在不易解决的问题上浪费时间,从而寻找替代方案;
  6. 文档尽量详实,图文并茂。优先采用画图的方式解释复杂的原理,有助于读者理解。

参加极术社区的【有奖征集】分享你的2023集创赛作品,秀出作品风采,分享2023集创赛作品扩大影响力,更有丰富电子礼品等你来领!


http://www.niftyadmin.cn/n/5072742.html

相关文章

JVM篇---第九篇

系列文章目录 文章目录 系列文章目录一、什么是指针碰撞?二、什么是空闲列表三、什么是TLAB? 一、什么是指针碰撞? 一般情况下,JVM的对象都放在堆内存中(发生逃逸分析除外)。当类加载检查通过后&#xff0…

Amber中的信息传递——章节1.1-第二部分

Amber中的信息传递在实操中共分为预备程序、模拟程序和分析程序三个部分,具体相关文件如下: 1. 预备程序 **LEaP:**是在 Amber 中创建新系统或修改现有系统的主要程序。 它有命令行程序 tleap 和图形用户界面 xleap 两种形式。它结合了 Ambe…

【Vue3】Mitt

在 Vue3 中,$on,$off 和 $once 实例方法被移除,EventBus 无法使用了。那么此时,我们可以使用 Mitt 库(发布订阅模式的设计)。 // 安装 mitt npm install mitt -S// main.ts import { createApp } from vue…

可视化模块

目录 可视化送入网络的图片可视化网络层的热力图 可视化送入网络的图片 送入的数据为imgs,其大小为(8,3,256,256),并以2行8列进行展示 import matplotlib.pyplot as plt import numpy as np# 假设你的张量名为 tensor,形状为 (8, 3, 256, 2…

常见数学名词

目录 正数 positive number 负数 negative number 整数 integer number 自然数 Natural number 实数 real number 虚数 imaginary number 复数 complex number 复数的模 ∣z∣ 共轭复数 conjugate complex number 复数运算法则 正数 positive number 正数全称正实数&…

C++——多态底层原理

虚函数表 先来看这个问题&#xff1a; class Base { public: virtual void Func1() { cout << "Func1()" << endl; } private: int _b 1; }; sizeof(Base)是多少&#xff1f; 答案是&#xff1a;8 因为Base中除了成员变量_b,还有一个虚函数表_vfp…

HashMapConcurrentHashMap

文章目录 1、HashMap基础类属性node容量负载因子hash算法 2、数组链表/树为什么引入链表为什么jdk1.8会引入红黑树为什么一开始不就使用红黑树&#xff1f;HashMap的底层数组取值的时候&#xff0c;为什么不用取模&#xff0c;而是&数组的长度为什么是2的次幂如果指定数组的…

WPF向Avalonia迁移(三、项目结构)

前提&#xff1a; Avalonia版本11.0.0 1.配置文件 1.1 添加配置文件 1.2 读取配置文件 添加System.Configuration.ConfigurationManager using Avalonia.Controls; using System.Configuration;namespace AvaloniaApplication7.Views {public partial class MainWindow : W…