Hardware Security Module for secure delegated Quantum Cloud Computing
Hardware Security Module for secure delegated Quantum Cloud Computing
批准号:
EP/Z000564/1
负责人:
Myrto Arapinis
金额:
$33.29万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2024
资助国家:
英国
项目状态:
未结题
起止时间:
2024 至 --
中文摘要
该项目的目标是开发一个独立的可信执行模块,实现安全的云量子计算。该模块将在项目中进行验证,展示世界上第一个安全光学接入到多用户量子云应用的光子量子计算实现的全栈软硬件集成。在未来三年内,该联盟将进行(1)研究,(2)开发,(3)测试,(4)验证,以及(5)HSM-QCC概念的演示,以模糊云计算机的计算任务。该项目建立在硬件安全、量子云计算、光子实验和软件编译等多个互补领域十年的研究和开发基础上。量子环境中可信执行环境的原始理论思想,即QEnclave,该联盟的成员提出,该联盟表明,通过单个-可信环境中的量子位旋转足以确保任何通用量子计算的安全。然而,这一核心理念的实现需要该联盟的多学科互补专业知识,以确保所有部件都可以组装在一起,以展示和验证愿景。目标可信环境将是一个具有单量子比特量子旋转功能的修改后的硬件安全模块(HSM),与可扩展的量子云平台位于同一位置。远程用户利用到量子云平台的经典加密链接,可以安全地混淆其所需的量子计算。状态的加扰将根据HSM内部的通用盲量子计算原理进行。为了实现这一目标,该联盟将采用一个通用编译器,将用户的目标量子算法映射到交互式客户端-服务器协议,并为我们的安全模块量身定制。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Verification of cryptographic protocols: modular analysis of equivalence properties
-
批准号:EP/P002692/1
-
项目类别:Research Grant
-
资助金额:$12.46万
-
财政年份:2016
-
负责人:Myrto Arapinis
-
依托单位:
海外基金