Practical quantum-computer resistant signature schemes
Practical quantum-computer resistant signature schemes
批准号:
251300380
负责人:
Professor Dr. Johannes Buchmann
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants (Transfer Project)
财政年份:
2014
资助国家:
德国
项目状态:
已结题
起止时间:
2013-12-31 至 2019-12-31
中文摘要
数字签名是实践中最流行的加密原语。它们保证了数据和文件的真实性,并允许确定数据的来源。在实际应用中,有三种数字签名方案:RSA、DSA和EC_DSA。如果所有这些方法都变得不安全,造成的损害将是巨大的。如果有可能构建具有足够容量的量子计算机,这种情况就会发生。因此,提供可替代的数字签名方案非常重要。在DFG项目“默克尔签名方案的可证明的安全、有效和长期安全变体”(GZ: BU 630/19-1)中,开发了基于哈希的签名方案XMSS [BDH11]及其扩展XMSSMT。该项目是本应用的基础。从理论和实践上验证了该方法的安全性和有效性。这个项目的目的是使XMSS和XMSSMT在实践中可用。这将与公司genua mbH (IT安全产品)合作,实现以下目标:1。开源实现,包括处理有状态性、参数选择和侧信道分析,2。标准化的准备,3。通信协议的集成。在实现第一个目标的背景下,需要解决几个开放的问题,这使得在开源库OpenSSL (C/ c++)和Bouncy Castle (JAVA)中进行集成成为可能,并且必须完成集成。第一个问题是如何处理两种方案的有状态性,这要求在任何时候都存在一致的状态,而不会过多地限制性能。目前使用的方案不需要这样做。第二个问题是针对不同平台的参数集的优化。即,与传统方案相比,该方案具有多个参数。第三个问题是侧信道分析,这是安全实现所必需的。标准化的准备工作包括一个RFC草案和一个ISO标准化草案。它还包括在相关标准化机构中介绍和讨论草案。作为第三个目标工作的一部分,开发了TLS、SSH和S/MIME的抗量子计算机变体。这是通过集成XMSS和XMSSMT实现的。它需要开发适当的格式和接口以及实现。当这三个目标实现后,XMSS和XMSSMT将可用于常见的应用程序。
英文摘要
Digital signatures are the most popular cryptographic primitives in practice. They guarantee the authenticity of data and documents and allow to determine the origin of data. In practice, three digital signature schemes are used: RSA, DSA, and EC_DSA. If all those methods become insecure, the resulting damage will be immense. This situation will occur if it is possible to construct quantum computers with sufficient capacity. It is therefore important to provide alternative digital signature schemes.In the DFG project "Provably secure, efficient and long-term secure variations of the Merkle signature scheme" (GZ: BU 630/19-1), which is the basis of the present application, the hash-based signature scheme XMSS [BDH11] and its extension XMSSMT were developed. Their security was proven, and their efficiency was demonstrated theoretically and practically.The aim of this project is to make XMSS and XMSSMT usable in practice. This will be done in cooperation with the company genua mbH (IT security products) by achieving the following goals:1. Open-source implementation, including handling the statefulness, parameter selection, and side channel analysis,2. Standardization preparation,3. Integration in communications protocols.In the context of achieving the first objective several open problems are to be solved, which enable the integration in the open source libraries OpenSSL (C/C++) and Bouncy Castle (JAVA), and the integration has to be done. The first problem is how to deal with the statefulness of both schemes, which requires that at any time a consistent state exists, without limiting the performance too much. This is not required by the schemes used today. The second problem is the optimization of parameter sets for different platforms. Namely, the schemes have a plurality of parameters, in contrast to traditional schemes. The third problem is the side-channel analysis, which is required for the implementation to be secure.The preparation of standardization includes a RFC draft and a draft for an ISO standardization. It also includes the presentation and discussion of the drafts in the relevant standardization bodies.As part of the work on the third goal, quantum-computer resistant variants of TLS, SSH and S/MIME are developed. This is achieved by integrating XMSS and XMSSMT. It requires the development of appropriate formats and interfaces as well as an implementation.When the three goals are achieved, XMSS and XMSSMT will be usable for common applications.
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
DOI:
10.1109/msp.2017.3151334
发表时间:
2017-08
期刊:
IEEE Security & Privacy
影响因子:
1.9
作者:
[Denis Butin]
通讯作者:
Denis Butin
Real-World Post-Quantum Digital Signatures
现实世界的后量子数字签名
DOI:
10.1007/978-3-319-25360-2_4
发表时间:
2015
期刊:
影响因子:
--
作者:
[Gazdag, Buchmann]
通讯作者:
Buchmann
Post-quantum authentication in OpenSSL with hash-based signatures
OpenSSL 中使用基于哈希的签名进行后量子身份验证
DOI:
10.23919/icmu.2017.8330093
发表时间:
2017
期刊:
2017 Tenth International Conference on Mobile Computing and Ubiquitous Network (ICMU)
影响因子:
--
作者:
[Wälde, Buchmann]
通讯作者:
Buchmann
Constitutional Compliant Electronic Voting
-
批准号:170530122
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Improving and Combining Gröbner bases and SAT solving techniques for algebraic cryptanalysis
-
批准号:171743725
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Parallelizing and implementing algorithms for cryptanalysis on graphics cards
-
批准号:181429555
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Beweisbar sichere, effiziente und langfristig sichere Varianten des Merkle Signaturverfahrens
-
批准号:164415288
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Juristisch-informatische Modellierung von Online-Wahlen
-
批准号:120892770
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Effiziente und sichere Public-Key-Kryptographie für das Zeitalter der Quantencomputer
-
批准号:5412648
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Kryptosysteme auf der Grundlage elliptischer Kurven
-
批准号:5201942
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
Kryptosysteme auf der Grundlage algebraischer Zahlkörper
-
批准号:5142616
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr. Johannes Buchmann
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Simulation and certification of the ground state of many-body systems on quantum simulators
-
批准号:--
-
项目类别:--
-
资助金额:40万元
-
批准年份:2020
-
负责人:Abolfazl Bayat
-
依托单位:
Mapping Quantum Chromodynamics by Nuclear Collisions at High and Moderate Energies
-
批准号:11875153
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2018
-
负责人:MARCO RUGGIERI
-
依托单位:
高温气化过程中煤灰矿物质演变规律的量子化学计算与实验研究
-
批准号:50906055
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2009
-
负责人:乌晓江
-
依托单位:
广义Besov函数类上的几个逼近特征
-
批准号:10926056
-
项目类别:数学天元基金项目
-
资助金额:3.0万元
-
批准年份:2009
-
负责人:段立芹
-
依托单位:
驻波场驱动的量子相干效应的研究
-
批准号:10774058
-
项目类别:面上项目
-
资助金额:35.0万元
-
批准年份:2007
-
负责人:苏雪梅
-
依托单位:
基于量子点多色荧光细胞标志谱型的CTC鉴别与肿瘤个体化诊治的研究
-
批准号:30772507
-
项目类别:面上项目
-
资助金额:30.0万元
-
批准年份:2007
-
负责人:赵晓航
-
依托单位:
量子计算电路的设计和综合
-
批准号:60676020
-
项目类别:面上项目
-
资助金额:31.0万元
-
批准年份:2006
-
负责人:王伶俐
-
依托单位:
半导体物理中的非线性偏微分方程组
-
批准号:10541001
-
项目类别:专项基金项目
-
资助金额:4.0万元
-
批准年份:2005
-
负责人:琚强昌
-
依托单位:
量子点技术对细胞表面蛋白和受体在体内分布的研究
-
批准号:30570686
-
项目类别:面上项目
-
资助金额:26.0万元
-
批准年份:2005
-
负责人:顾江
-
依托单位: