SCARV: a side-channel hardened RISC-V platform
SCARV: a side-channel hardened RISC-V platform
批准号:
EP/R012288/1
负责人:
Daniel Page
金额:
$130.52万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2018
资助国家:
英国
项目状态:
已结题
起止时间:
2018 至 --
中文摘要
RISC-V是一种指令集架构(伊萨)设计。伊萨本质上是任何兼容处理器实现应该能够执行的指令的规范,以及这些指令可以访问的资源;它充当处理器实现(硬件)和在其上执行的程序(软件)之间的接口。与Intel的x86伊萨等专有类似物形成鲜明对比的是,RISC-V是一种开源设计。这意味着任何人都可以出于任何目的免费使用它,这在一定程度上意味着围绕该项目快速开发了丰富的支持基础设施:这包括a)围绕相关非营利基金会构建的充满活力的开发人员和用户社区,B)伊萨的众多实现,无论是HDL(即,在FPGA平台上使用的软核)和硅(即,物理IC),以及c)编程工具链的端口(例如,GCC和LLVM)和操作系统(例如,类似的开放性是安全关键环境中的核心原则,与通常通俗地称为“模糊安全”的替代方案形成对比。在密码学领域尤其如此,这种技术通常负责确保我们数据(通信或存储)的保密性,鲁棒性和出处,以及我们与之交互的各方的真实性:加密标准,设计和实现的开放开发是现代规范。因此,RISC-V在用于执行加密软件时提供了各种机会。拟议的研究目标利用这些机会,以一种旨在解决对我们的数字安全乃至社会的高级、持续威胁的方式。具体而言:1)由于RISC-V可以由任何人实现,因此可以开发针对特定类型攻击的核心;重点将放在侧信道攻击的威胁上(这与嵌入式用例特别相关,例如,物联网)。除了这样做,拟议的研究将调查如何利用有关实现的详细信息来产生更有效的安全评估。2)由于RISC-V可以被任何人改编,因此可以开发各种特定于加密的伊萨扩展或变体,例如,提供更高的效率。如果加密软件更有效,它也可以更安全,因为,例如,可以部署更大的密钥或更强大的攻击对策,而不会对延迟产生显著影响。3)侧信道安全性的评估可能是禁止的,因为它需要各种特定的设备。利用基于RISC-V的平台,拟议的研究通过提供一个“实验室”来解决这个问题。自由”(即,基于云的)采集和分析工作流程。
英文摘要
RISC-V is an Instruction Set Architecture (ISA) design. An ISA is essentially a specification for the instructions any compatible processor implementation should be able to execute, and the resources those instructions can access; it acts as the interface between the processor implementation (hardware) and programs that execute on it (software). In sharp contrast with proprietary analogues such as the x86 ISA from Intel, RISC-V is an open source design. This means it can be used freely by anyone for any purpose, which, in part, has meant rapid development of a rich support infrastructure around the project: this includes a) vibrant developer and user communities, built around an associated non-profit foundation, b) numerous implementations of the ISA, both in HDL (i.e., a soft core for use on an FPGA platform) and silicon (i.e., physical ICs), and c) ports of programming tool-chains (e.g., GCC and LLVM) and operating systems (e.g., Linux).Similar openness is a core principle in security-critical contexts, contrasting with the alternative often colloquially termed "security by obscurity". This is particularly true in the field of cryptography, a technology routinely tasked with ensuring secrecy, robustness and provenience of our data (communicated or stored), and the authenticity of parties we interact with: open development of cryptographic standards, designs, and implementations is the modern norm. As a result, RISC-V presents various opportunities when used to execute cryptographic software. The proposed research goals capitalise on these opportunities, in a way designed to address advanced, persistent threats to our digital security, and, by extension, society. Specifically:1) Since RISC-V can be implemented by anyone, it is possible to develop a core hardened against specific types of attack; the focus will be on the threat of side-channel attacks (which is particularly relevant to embedded use-cases, e.g., IoT). As well as doing so, the proposed research will investigation how detailed information about the implementation can be harnessed to produce more effective security evaluations.2) Since RISC-V can be adapted by anyone, it is possible to develop various cryptography-specific extensions or variants of the ISA that offer either, for example, higher efficiency. If cryptographic software is more efficient it can also be more secure, because, for example, larger keys or more robust attack countermeasures can be deployed without as significant an impact on latency.3) Evaluation of side-channel security can be prohibitive in the sense it needs various specific items of equipment. Harnessing a platform based on RISC-V, the proposed research with address this problem by offering a "lab. free" (i.e., cloud-based) acquisition and analysis workflow available to anyone.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Kavach: Lightweight masking techniques for polynomial arithmetic in lattice-based cryptography
Kavach:基于格的密码学中多项式算术的轻量级掩码技术
DOI:
10.46586/tches.v2023.i3.366-390
发表时间:
2023
期刊:
IACR Transactions on Cryptographic Hardware and Embedded Systems
影响因子:
--
作者:
[Aikata A]
通讯作者:
Aikata A
Implementing the Draft RISC-V Scalar Cryptography Extensions
实施 RISC-V 标量加密扩展草案
DOI:
--
发表时间:
2020
期刊:
影响因子:
--
作者:
[B. Marshall]
通讯作者:
B. Marshall
HYDRA: a multi-core RISC-V with cryptographically useful modes of operation
HYDRA:具有加密有用操作模式的多核 RISC-V
DOI:
--
发表时间:
2022
期刊:
影响因子:
--
作者:
[B. Marshall]
通讯作者:
B. Marshall
An Instruction Set Extension to Support Software-Based Masking
支持基于软件的屏蔽的指令集扩展
DOI:
10.46586/tches.v2021.i4.283-325
发表时间:
2021
期刊:
IACR Transactions on Cryptographic Hardware and Embedded Systems
影响因子:
--
作者:
[Gao S]
通讯作者:
Gao S
Advances in Cryptology - EUROCRYPT 2023 - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part II
密码学进展 - EUROCRYPT 2023 - 第 42 届密码技术理论与应用国际会议,法国里昂,2023 年 4 月 23-27 日,会议记录,第二部分
DOI:
10.1007/978-3-031-30617-4_14
发表时间:
2023
期刊:
影响因子:
--
作者:
[Basso A]
通讯作者:
Basso A
共 8 条
Academic Centre of Excellence in Cyber Security Research - University of Bristol
-
批准号:EP/R006741/1
-
项目类别:Research Grant
-
资助金额:$4.61万
-
财政年份:2017
-
负责人:Daniel Page
-
依托单位:
Leakage Aware Design Automation (LADA): Tools & Techniques for Software Crypto Implementations
-
批准号:EP/N011635/1
-
项目类别:Research Grant
-
资助金额:$146.64万
-
财政年份:2016
-
负责人:Daniel Page
-
依托单位:
Academic Centre of Excellence in Cyber Security Research - University of Bristol
-
批准号:EP/K000675/1
-
项目类别:Research Grant
-
资助金额:$6.09万
-
财政年份:2012
-
负责人:Daniel Page
-
依托单位:
Architectural and Micro-architectural Countermeasures against Physical Attack
-
批准号:EP/H001689/1
-
项目类别:Research Grant
-
资助金额:$104.92万
-
财政年份:2009
-
负责人:Daniel Page
-
依托单位:
国内基金
海外基金
登录
查看更多内容
军团菌SidE家族新型泛素连接酶特异性识别高尔基体底物蛋白的机制与功能研究
-
批准号:82302536
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:柳耀宾
-
依托单位:
新型泛素化修饰系统SidE及MavC催化和调控的分子机制研究
-
批准号:32071200
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2020
-
负责人:王勇
-
依托单位:
新型病原菌效应蛋白SidE及IpaJ的结构与功能研究
-
批准号:31700687
-
项目类别:青年科学基金项目
-
资助金额:27.0万元
-
批准年份:2017
-
负责人:王勇
-
依托单位:
人大肠癌SP细胞干性表型和基因型分析
-
批准号:81101870
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2011
-
负责人:胡均
-
依托单位:
脑肿瘤干细胞新的生物标记筛检及其功能研究
-
批准号:30772243
-
项目类别:面上项目
-
资助金额:29.0万元
-
批准年份:2007
-
负责人:刘伟国
-
依托单位:
集成电路芯片电磁泄漏旁路攻击机理及解密研究
-
批准号:60571037
-
项目类别:面上项目
-
资助金额:22.0万元
-
批准年份:2005
-
负责人:赵强
-
依托单位:
SiGe光电探测器的优化设计及其与电路兼容技术的研究
-
批准号:69386004
-
项目类别:专项基金项目
-
资助金额:7.0万元
-
批准年份:1993
-
负责人:杨沁清
-
依托单位: