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

本文为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.mzph.cn/news/97392.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

辅助寄存器是干什么用的

目录 请问CPU 的 MREQ 引脚和 IORQ 引脚分别是干什么用的 那这里的引脚是什么含义呢? 程序是指令和数据的集合 辅助寄存器是干什么用的 寄存器的用途取决于它的类型 PC 寄存器也叫作“程序指针”,存储着指向 CPU 接下来 要执行的指令的地址。PC 寄存…

C++ list

国庆放假第三天&#xff0c;今天把stl的list学完。 lsit是一个带头双向循环链表。 遍历 list也可以用迭代器&#xff0c;范围for进行遍历&#xff0c;没有operator[ ]。 迭代器 list<int> s1;s1.push_back(1);s1.push_back(2);s1.push_back(3);s1.push_back(4);list&…

LeetCode【121. 买卖股票的最佳时机】

你才不是什么小人物&#xff0c;你在我这里&#xff0c;是所有的天气和心情。 给定一个数组 prices &#xff0c;它的第 i 个元素 prices[i] 表示一支给定股票第 i 天的价格。 你只能选择 某一天 买入这只股票&#xff0c;并选择在 未来的某一个不同的日子 卖出该股票。设计一…

【SWAT水文模型】SWAT水文模型建立及应用第七期:SWAT模型检验

SWAT水文模型检验 方式1&#xff1a;参数带回至ArcSWAT方式1.1&#xff1a;文件替换方式1.2&#xff1a;手动修改方式1.3&#xff1a; 方式2&#xff1a;于SWAT CUP中确定检验期结果方式2.1&#xff1a;率定期径流数据验证方式2.2&#xff1a;率定期检验期径流数据验证 总结参考…

k8s全栈-笔记6-Prometheus+Alertmanager构建监控系统

k8s全栈-笔记6-PrometheusAlertmanager构建监控系统 实验环境: Pormetheusgrafanaalertmanager安装在k8s集群,k8s环境如下 K8S集群角色IP主机名安装的组件控制节点(master)172.20.252.181k8s-master01apiserver,controller-manager,schedule,kubelet,etcd,kube-proxy,容器运…

基于可解释性特征矩阵与稀疏采样全局特征组合的人体行为识别

论文还未发表&#xff0c;不细说&#xff0c;欢迎讨论。 Title: A New Solution to Skeleton-Based Human Action Recognition via the combination usage of explainable feature extraction and sparse sampling global features. Abstract: With the development of deep …

前端实现chatGpt流式输出 - SSE

前端实现chatGpt流式输出 - SSE 一、chatGpt流式输出技术分析 在使用ChatGPT时&#xff0c;模型的回复内容是连续输出&#xff0c;而不是整段话直接出现&#xff0c;因为模型需要不断预测接下来要回复什么内容&#xff0c;如果等整段回复生成之后再输出到网页&#xff0c;用户…

【visual studio 小技巧】项目属性->生成->事件

需求 我们有时会用到一些dll&#xff0c;需要把这些dll和我们生成的exe放到一起&#xff0c;一般我们是手动自己copy&#xff0c; 这样发布的时候&#xff0c;有时会忘记拷贝这个dll&#xff0c;导致程序运行出错。学会这个小技巧&#xff0c;就能实现自动copy&#xff0c;非…

jira+confluence安装

准备如下所有包&#xff1a; atlassian-agent.jar jdk-8u241-linux-x64.tar.gz atlassian-confluence-8.0.0-x64.bin atlassian-jira-software-9.4.0-x64.bin mysql-8.0.31-1.el8.x86_64.rpm-bundle.tar mysql-connector-java-8.0.28.jar confluence-8.2.1破解 1.安装j…

冲刺第十五届蓝桥杯P0003倍数问题

文章目录 原题连接解析代码 原题连接 倍数问题 解析 需要找出三个数字&#xff0c;三个数字之和是k的倍数&#xff0c;并且这个数字需要最大&#xff0c;很容易想到的就是将数组进行倒叙排序&#xff0c;然后三层for循环解决问题&#xff0c;但是这样会导致**时间复杂度很高…

sheng的学习笔记-【中文】【吴恩达课后测验】Course 2 - 改善深层神经网络 - 第二周测验

课程2_第2周_测验题 目录&#xff1a;目录 第一题 1.当输入从第8个mini-batch的第7个的例子的时候&#xff0c;你会用哪种符号表示第3层的激活&#xff1f; A. 【  】 a [ 3 ] { 8 } ( 7 ) a^{[3]\{8\}(7)} a[3]{8}(7) B. 【  】 a [ 8 ] { 7 } ( 3 ) a^{[8]\{7\}(3)} a…

hive 常用函数

1.分位数 percentile_approx(DOUBLE col, p [, B]) Returns an approximate pth percentile of a numeric column (including floating point types) in the group 含义: 在col列中返回p%的分位数 select percentile_approx( arr_id , 0.5 )from (selectarr_idfrom(selecta…

力扣-404.左叶子之和

Idea attention&#xff1a;先看清楚题目&#xff0c;题目说的是左叶子结点&#xff0c;不是左结点【泣不成声】 遇到像这种二叉树类型的题目呢&#xff0c;我们一般还是选择dfs&#xff0c;然后类似于前序遍历的方式加上判断条件即可 AC Code class Solution { public:void d…

【JavaEE】_HTTP请求与HTTP响应

目录 1. HTTP协议 2. HTTP请求 2.1 HTTP请求首行 2.2 URL 2.3 HTTP方法 2.3.1 GET请求 2.3.2 POST请求 2.3.3 GET与POST的区别 2.3.4 其他方法 2.4 请求报头header 2.4.1 Host&#xff1a; 2.4.2 Content-Length与Content-Type&#xff1a; 2.4.3 User-Agent&…

王道考研计算机组成原理——计算机硬件的基础知识

计算机组成原理的基本概念 计算机硬件的针脚都是用来传递信息&#xff0c;传递数据用的&#xff1a; 服务程序包含一些调试程序&#xff1a; 计算机硬件的基本组成 控制器通过电信号来协调其他部件的工作&#xff0c;同时负责解析存储器里存放的程序指令&#xff0c;然后指挥…

数据结构--》数组和广义表:从基础到应用的全面剖析

数据结构为我们提供了组织和处理数据的基本工具。而在这个广袤的数据结构领域中&#xff0c;数组和广义表是两个不可或缺的重要概念。它们作为线性结构的代表&#xff0c;在算法与应用中扮演着重要的角色。 无论你是初学者还是进阶者&#xff0c;本文将为你提供简单易懂、实用可…

十二、Django之模板的继承+用户列表

模板的继承 新建layout.html&#xff1a; {% load static %} <!DOCTYPE html> <html lang"en"> <head><meta charset"UTF-8"><title>Title</title><link rel"stylesheet" href"{% static plugins…

计算机毕设 大数据B站数据分析与可视化 - python 数据分析 大数据

文章目录 0 前言1 课题背景2 实现效果3 数据获取4 数据可视化5 最后 0 前言 &#x1f525; 这两年开始毕业设计和毕业答辩的要求和难度不断提升&#xff0c;传统的毕设题目缺少创新和亮点&#xff0c;往往达不到毕业答辩的要求&#xff0c;这两年不断有学弟学妹告诉学长自己做…

阿里云轻量应用服务器有月流量限制吗?

阿里云轻量应用服务器限制流量吗&#xff1f;部分限制&#xff0c;2核2G3M和2核4G4M这两款轻量应用服务器不限制月流量&#xff0c;其他的轻量服务器套餐有月流量限制。 腾讯云轻量应用服务器价格便宜&#xff0c;活动页面&#xff1a;aliyunbaike.com/go/tencent 细心的同学看…

第四课 递归、分治

文章目录 第四课 递归、分治lc78.子集--中等题目描述代码展示 lc77.组合--中等题目描述代码展示 lc46.全排列--中等题目描述代码展示 lc47.全排列II--中等题目描述代码展示 lc226.翻转二叉树--简单题目描述代码展示 lc98.验证二叉搜索树--中等题目描述代码展示 lc104.二叉树的最…