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

news2024/11/23 8:12:15

本文为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.coloradmin.cn/o/1068937.html

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

相关文章

超全整理,Jmeter接口性能测试-Beanshell调用jar包加密(详细)

目录:导读 前言一、Python编程入门到精通二、接口自动化项目实战三、Web自动化项目实战四、App自动化项目实战五、一线大厂简历六、测试开发DevOps体系七、常用自动化测试工具八、JMeter性能测试九、总结(尾部小惊喜) 前言 1、添加beanshell…

Jmeter控制RPS

一、前言 ​ RPS (Request Per Second)一般用来衡量服务端的吞吐量,相比于并发模式,更适合用来摸底服务端的性能。我们可以通过使用 JMeter 的常数吞吐量定时器来限制每个线程的RPS。对于RPS,我们可以把他理解为我们的TPS,我们就不…

《软件方法(下)》第8章2023版连载(05)关于实体类

DDD领域驱动设计批评文集 做强化自测题获得“软件方法建模师”称号 《软件方法》各章合集 8.2 建模步骤C-1 识别类和属性 8.2.2 三种分析类 8.2.2.2 关于边界类 边界类的责任是接受输入、提供输出以及做简单的过滤。 图8-20中提到边界类的映射方法——每个有接口的外系统…

Linux TCP协议通信 (流程 三次握手 四次挥手 滑动窗口)

TCP通信流程 Socket函数 TCP通信实现&#xff08;服务器端&#xff09; #include <stdio.h> #include <arpa/inet.h> #include <unistd.h> #include <string.h> #include <stdlib.h> int main() {//1.创建socketint lfd socket(AF_INET, SOCK_…

微软首款AI芯片代号“雅典娜”;马斯克四年内将让“星舰”上火星丨 RTE 开发者日报 Vol.61

开发者朋友们大家好&#xff1a; 这里是**「RTE 开发者日报」&#xff0c;每天和大家一起看新闻、聊八卦。我们的社区编辑团队会整理分享 RTE &#xff08;Real Time Engagement&#xff09; 领域内「有话题的新闻**」、「有态度的观点」、「有意思的数据」、「有思考的文章」…

关于对XSS原理分析与绕过总结

一、原理 该文章仅用于信息防御技术教学&#xff0c;请勿用于其他用途。 1、XSS原理 XSS&#xff08;跨站脚本攻击&#xff09;是一种常见的网络安全漏洞&#xff0c;攻击者通常会在网页中插入恶意的 JavaScript 代码。由于服务器对输入数据的过滤和验证不严格&#xff0c;这…

刘京城:我的《软件方法》学习经历(有彩蛋)

DDD领域驱动设计批评文集 做强化自测题获得“软件方法建模师”称号 《软件方法》各章合集 写在前面&#xff08;潘加宇&#xff09; 下面是刘京城写的关于他学习《软件方法》的经历。我在前面啰嗦几句。 我做软件建模方面的研究和普及工作已经24年了&#xff0c;和各行各业…

机器学习-数值特征

离散值处理 import pandas as pd import numpy as npvg_df pd.read_csv(datasets/vgsales.csv, encoding "ISO-8859-1") vg_df[[Name, Platform, Year, Genre, Publisher]].iloc[1:7]NamePlatformYearGenrePublisher1Super Mario Bros.NES1985.0PlatformNintendo2…

30 数据分析常见概念(略写可跳)

文章目录 数据科学领域概述数据如何驱动运营给企业带来价值岗位关键词说明业务的商业模式 数据指标数据指标定义及常用数据指标如何选取指标分析角度计数流量导向的工具内容导向的工具用户导向的工具业务导向的工具 数据分析方法对比分析多维分析漏斗分析留存分析总结 用户画像…

王兰去(黑客)自学

前言&#xff1a; 想自学网络安全&#xff08;黑客技术&#xff09;首先你得了解什么是网络安全&#xff01;什么是黑客 网络安全可以基于攻击和防御视角来分类&#xff0c;我们经常听到的 “红队”、“渗透测试” 等就是研究攻击技术&#xff0c;而“蓝队”、“安全运营”、“…

京东数据分析软件:2023年8月京东彩妆行业品牌销售排行榜

鲸参谋监测的京东平台8月份彩妆市场销售数据已出炉&#xff01; 根据鲸参谋平台的数据显示&#xff0c;今年8月份&#xff0c;京东平台上彩妆行业的销量将近390万&#xff0c;其中&#xff0c;环比来看增长约11%&#xff0c;同比则降低约34%&#xff1b;销售额为6.3亿&#xf…

springcloud之项目实战环境准备

写在前面 为了更好的学习springcloud&#xff0c;我们来一起开发一个实战项目&#xff0c;加深理解。 1&#xff1a;项目介绍 在开始项目实战之前先来做一个整体的项目介绍&#xff0c;从而能够让对项目的整体架构和模板有一个比较清晰的认知。 大家都知道双11&#xff0c;…

百元开放式耳机哪款好一点耐用、百元耳放推荐

在耳机品类中&#xff0c;佩戴无需入耳、可保持耳道舒适的开放式耳机正成为新的潮流&#xff0c;不仅不少消费者趋之若鹜&#xff0c;相对于传统入耳式耳机&#xff0c;开放式耳机具备开放双耳的特性&#xff0c;能敞开耳道&#xff0c;让耳朵随时呼吸&#xff0c;保持干燥透气…

华为云CodeArts Check代码检查插件(CodeArts IDE本地版本)使用指南

CodeArts Check 代码检查插件&#xff08;CodeArts IDE本地版本&#xff09; 本插件致力于守护开发人员代码质量&#xff0c;成为开发人员的助手和利器。秉承极简、极速、即时看护的理念&#xff0c;提供业界规范&#xff08;含华为云&#xff09;的检查、代码风格一键格式化及…

基于 Kettle + StarRocks + FineReport 的大数据处理分析方案

Kettle StarRocks FineReport 的大数据处理分析方案 其中 Kettle 负责数据的ETL处理&#xff0c;StarRocks 负责海量数据的存储及检索&#xff0c;FineReport 负责数据的可视化展示。整体过程如下所示&#xff1a; 如果多上面三个组件不了解可以先参考下下面的文章&#xff…

【数据分享】1901-2022年1km分辨率的逐月潜在蒸散发栅格数据(免费获取/全国/分省)

气象指标在日常研究中非常常用&#xff0c;之前我们给大家分享过来源于国家青藏高原科学数据中心提供的气象指标栅格数据&#xff08;均可查看之前的文章获悉详情&#xff09;&#xff1a; 1901-2022年1km分辨率逐月平均气温栅格数据 1901-2022年1km分辨率逐年平均气温栅格数据…

计算机竞赛 题目:基于LSTM的预测算法 - 股票预测 天气预测 房价预测

文章目录 0 简介1 基于 Keras 用 LSTM 网络做时间序列预测2 长短记忆网络3 LSTM 网络结构和原理3.1 LSTM核心思想3.2 遗忘门3.3 输入门3.4 输出门 4 基于LSTM的天气预测4.1 数据集4.2 预测示例 5 基于LSTM的股票价格预测5.1 数据集5.2 实现代码 6 lstm 预测航空旅客数目数据集预…

ctfshow-web5(md5弱比较)

打开题目链接是html和php代码 html没啥有用信息&#xff0c;这里审一下php代码 &#xff1a; 要求使用get方式传入两个参数 v1&#xff0c;v2 ctype_alpha()函数&#xff1a;用于检查给定的字符串是否仅包含字母&#xff1b; is_numeric()函数&#xff1a;检测字符串是否只由…

浏览器唤起钉钉 各项功能

浏览器唤起钉钉对应人员聊天 文档地址 https://open.dingtalk.com/document/client/unified-routing-protocol 唤起聊天 不过只能唤起叮叮的名片 id为叮叮号 <a href"dingtalk://dingtalkclient/action/sendmsg?dingtalk_id{id}"></a>id&#xff1a; …

数据结构与算法(Data Structures and Algorithm)——跟着Mark Allen Weiss用Java语言学习数据结构与算法

前言 数据结构与算法作为计算机科学的基础&#xff0c;是一个重点和难点&#xff0c;在实际编程中似乎看不它们的身影&#xff0c;但是它们有随处不在&#xff0c;如影随形。 虽然实际工作中可能基本用不到数据结构与算法的相关知识&#xff0c;但是作为计算机行业的从业者&a…