Hardware Security Module for secure delegated Quantum Cloud Computing
用于安全委托量子云计算的硬件安全模块
基本信息
- 批准号:EP/Z000564/1
- 负责人:
- 金额:$ 33.29万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2024
- 资助国家:英国
- 起止时间:2024 至 无数据
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
The objective of this project is to develop a standalone trusted execution module that enables secure cloud quantum computing. This module will undergo validation within the project by demonstrating a full stack software-hardware integration of the world's first secure optical access to a photonic quantum computing implementation for multi-user quantum cloud applications.Over the next three years, the consortium will conduct a (1) study, (2) development, (3) testing, (4) validation, and (5) demonstration of the HSM-QCC concept to obscure the computational task of the cloud computer. This project builds on a decade of research and development in several complementary domains, including hardware security, Quantum Cloud Computing, Photonic experiment, and software compilation.The original theoretical idea of a trusted execution environment in the quantum setting, namely QEnclave, was proposed by the members of the consortium which demonstrated that scrambling input states by single-qubit rotations in a trusted environment is sufficient to secure any universal quantum computing. However, the implementation of this core idea requires the multidisciplinary complementary expertise of this consortium to ensure all pieces can be assembled together to demonstrate and validate the vision.The target trusted environment will be a modified Hardware Security Module (HSM) with single-qubit quantum rotation functionalities, co-located with a scalable quantum cloud platform. A remote user, utilizing a classical cryptographic link to a quantum cloud platform,can securely obfuscate its desired quantum computation. The scrambling of the state will be performed according to the principle of Universal Blind Quantum Computing inside the HSM.To achieve this goal, the consortium will employ a general-purpose compiler that maps the target quantum algorithm of a user to an interactive client-server protocol and tailor it for our secure module.
该项目的目标是开发一个独立的可信执行模块,以实现安全的云量子计算。该模块将在项目内进行验证,展示世界上第一个安全光学访问多用户量子云应用的光子量子计算实现的全堆栈软件硬件集成。在未来三年内,该联盟将进行( 1) 研究、(2) 开发、(3) 测试、(4) 验证和 (5) HSM-QCC 概念演示,以模糊云计算机的计算任务。该项目建立在硬件安全、量子云计算、光子实验和软件编译等多个互补领域十年研究和开发的基础上。量子环境中可信执行环境的原始理论思想,即 QEnclave,由该联盟的成员证明,在可信环境中通过单量子位旋转来扰乱输入状态足以确保任何通用量子计算的安全。然而,这一核心理念的实现需要该联盟的多学科互补专业知识,以确保所有部分都可以组装在一起以演示和验证愿景。目标可信环境将是具有单量子位量子的修改后的硬件安全模块(HSM)旋转功能,与可扩展的量子云平台位于同一位置。远程用户利用与量子云平台的经典加密链接,可以安全地混淆其所需的量子计算。状态的置乱将根据 HSM 内的通用盲量子计算原理进行。为了实现这一目标,该联盟将采用通用编译器,将用户的目标量子算法映射到交互式客户端-服务器协议并为我们的安全模块定制它。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Myrto Arapinis其他文献
Privacy Supporting Cloud Computing: ConfiChair, a Case Study
支持云计算的隐私:ConfiChair,案例研究
- DOI:
10.1007/978-3-642-28641-4_6 - 发表时间:
2012-03-24 - 期刊:
- 影响因子:0
- 作者:
Myrto Arapinis;Sergiu Bursuc;M. Ryan - 通讯作者:
M. Ryan
Explorer Composing Security Protocols : From Confidentiality to Privacy
探索者编写安全协议:从机密到隐私
- DOI:
10.1007/978-3-662-49635-0_10 - 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Myrto Arapinis;Vincent Cheval;S. Delaune - 通讯作者:
S. Delaune
Electronic Communications of the EASST Volume X ( 2009 ) Proceedings of the Third International Workshop on Formal Methods for Interactive Systems ( FMIS 2009 ) Towards the Verification of Pervasive Systems
EASST 电子通信第 X 卷 (2009) 第三届交互系统形式方法国际研讨会 (FMIS 2009) 走向普及系统验证的论文集
- DOI:
10.1017/s0269888904000025 - 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
Myrto Arapinis;Muffy Calder;Louise Dennis;Michael Fisher;P. Gray;Savas Konur;Alice Miller;Eike Ritter;M. Ryan;S. Schewe;Chris Unsworth;R. Yasmin - 通讯作者:
R. Yasmin
QEnclave - A practical solution for secure quantum cloud computing
QEnclave - 安全量子云计算的实用解决方案
- DOI:
10.1038/s41534-022-00612-5 - 发表时间:
2021-09-07 - 期刊:
- 影响因子:7.6
- 作者:
Yao Ma;E. Kashefi;Myrto Arapinis;Kaushik Chakraborty;M. Kaplan - 通讯作者:
M. Kaplan
Quantum Physical Unclonable Functions: Possibilities and Impossibilities
量子物理不可克隆函数:可能性与不可能
- DOI:
10.22331/q-2021-06-15-475 - 发表时间:
2019-10-01 - 期刊:
- 影响因子:6.4
- 作者:
Myrto Arapinis;M. Delavar;Mina Doosti;E. Kashefi - 通讯作者:
E. Kashefi
Myrto Arapinis的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Myrto Arapinis', 18)}}的其他基金
Verification of cryptographic protocols: modular analysis of equivalence properties
密码协议的验证:等价性的模块化分析
- 批准号:
EP/P002692/1 - 财政年份:2016
- 资助金额:
$ 33.29万 - 项目类别:
Research Grant
相似国自然基金
角模块架构电动轮驱动汽车恶劣路况底盘协同主动安全控制理论与方法
- 批准号:
- 批准年份:2022
- 资助金额:54 万元
- 项目类别:面上项目
基于模块化设计的异构跨链安全服务关键技术研究
- 批准号:62232010
- 批准年份:2022
- 资助金额:283 万元
- 项目类别:重点项目
定转子模块化高温超导风力发电机多物理场及其运行行为研究
- 批准号:51907004
- 批准年份:2019
- 资助金额:27.0 万元
- 项目类别:青年科学基金项目
小型抑压式安全壳抑压特性及相变传热和压力、不可凝气体相互影响机制研究
- 批准号:11805068
- 批准年份:2018
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
符合人体安全标准的大功率模块化无线充电系统的研究
- 批准号:51807174
- 批准年份:2018
- 资助金额:23.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Miniaturised Quantum Hardware Security Module for IoT Encryption
用于物联网加密的小型化量子硬件安全模块
- 批准号:
830072 - 财政年份:2019
- 资助金额:
$ 33.29万 - 项目类别:
Innovation Loans