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其他文献

FCS 2013 Workshop on Foundations of Computer Security
FCS 2013 计算机安全基础研讨会
  • DOI:
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    B. Smyth;Myrto Arapinis;M. Ryan
  • 通讯作者:
    M. Ryan
Bounding messages for free in security protocols – extension to various security properties
  • DOI:
    10.1016/j.ic.2014.09.003
  • 发表时间:
    2014-12-01
  • 期刊:
  • 影响因子:
  • 作者:
    Myrto Arapinis;Marie Duflot
  • 通讯作者:
    Marie Duflot
Privacy Supporting Cloud Computing: ConfiChair, a Case Study
支持云计算的隐私:ConfiChair,案例研究
Unforgeability in the quantum world
量子世界中的不可伪造性
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Myrto Arapinis;M. Delavar;Mina Doosti;E. Kashefi
  • 通讯作者:
    E. Kashefi
Astrolabous: A Universally Composable Time-Lock Encryption Scheme
Astrolabous:一种通用可组合的时间锁定加密方案
  • DOI:
    10.1007/978-3-030-92075-3_14
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Myrto Arapinis;N. Lamprou;T. Zacharias
  • 通讯作者:
    T. Zacharias

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

相似海外基金

Fair Game: valuing the bio-cultural heritage of fallow deer and their venison for food security, sustainable woodlands and biodiversity
公平游戏:重视小鹿及其鹿肉的生物文化遗产,以促进粮食安全、可持续林地和生物多样性
  • 批准号:
    AH/Z505675/1
  • 财政年份:
    2024
  • 资助金额:
    $ 33.29万
  • 项目类别:
    Research Grant
CAREER: Verifying Security and Privacy of Distributed Applications
职业:验证分布式应用程序的安全性和隐私
  • 批准号:
    2338317
  • 财政年份:
    2024
  • 资助金额:
    $ 33.29万
  • 项目类别:
    Continuing Grant
CAP: AI-Ready Institution Transforming Tomorrow's Research and Education with AI Focused on Health and Security (Jag-AI)
CAP:人工智能就绪机构通过专注于健康和安全的人工智能改变未来的研究和教育 (Jag-AI)
  • 批准号:
    2334243
  • 财政年份:
    2024
  • 资助金额:
    $ 33.29万
  • 项目类别:
    Standard Grant
I-Corps: Networked Autonomous-humanoid Security Robot
I-Corps:网络化自主人形安全机器人
  • 批准号:
    2348931
  • 财政年份:
    2024
  • 资助金额:
    $ 33.29万
  • 项目类别:
    Standard Grant
GNNs for Network Security (and Privacy) GRAPHS4SEC
用于网络安全(和隐私)的 GNN GRAPHS4SEC
  • 批准号:
    EP/Y036050/1
  • 财政年份:
    2024
  • 资助金额:
    $ 33.29万
  • 项目类别:
    Research Grant
Implementation Security of Quantum Cryptography
量子密码学的实现安全
  • 批准号:
    2907696
  • 财政年份:
    2024
  • 资助金额:
    $ 33.29万
  • 项目类别:
    Studentship
Computational approach to security dilemma: understanding state rivalry through multilingual longitudinal analysis of foreign news
解决安全困境的计算方法:通过外国新闻的多语言纵向分析来理解国家竞争
  • 批准号:
    23K25490
  • 财政年份:
    2024
  • 资助金额:
    $ 33.29万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
CAREER: Foundational Principles for Harnessing Provenance Analytics for Advanced Enterprise Security
职业:利用来源分析实现高级企业安全的基本原则
  • 批准号:
    2339483
  • 财政年份:
    2024
  • 资助金额:
    $ 33.29万
  • 项目类别:
    Continuing Grant
Scripps Center for Oceans and Human Health: advancing the science of marine contaminants and seafood security
斯克里普斯海洋与人类健康中心:推进海洋污染物和海鲜安全的科学
  • 批准号:
    2414798
  • 财政年份:
    2024
  • 资助金额:
    $ 33.29万
  • 项目类别:
    Continuing Grant
REU Site: Enhancing Undergraduate Experiences in Data and Mobile Cloud Security
REU 网站:增强本科生在数据和移动云安全方面的经验
  • 批准号:
    2349233
  • 财政年份:
    2024
  • 资助金额:
    $ 33.29万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了