XiaoMi-AI文件搜索系统
World File Search SystemKiltz
轴向脊椎关节炎管理的ASA-Eular建议：2022 Update
ramiro 布莱纳·博特瓦（Bryana Boteva），12岁的布雷曼德 ，1帕尔·盖赫（PálGéher），16 lianne gensler，17约瑟夫·赫尔曼（Joseph Hermann），18曼努（Manu） ，19 uta kiltz ，7安娜·米尔托（Anna Milto），26维多利亚·纳瓦罗（Victoria Navarro）马丁·鲁德瓦利特（Martin Rudwaleit） heijde 1
评估...
在量子计算硬件的最新进展之后，国家标准技术研究所（NIST）是标准化的加密协议，这些协议可抵抗量子对手的攻击。NIST选择的主要数字签名方案是晶体-Dilithium。该方案的硬度基于三个计算问题的硬度：模块学习错误（MLWE），模块短整数解决方案（MSIS）和自助图。mlwe和msis经过了很好的研究，被广泛认为是安全的。然而，自我攻击是新颖的，尽管在经典上与MSI一样坚硬，但其量子硬度尚不清楚。在本文中，我们通过减少量子随机Oracle模型（QROM）中的MLWE来提供自我攻击性硬度的第一个证明。我们的证明使用了最近开发的量子重编程和倒带技术。我们方法的一个核心部分是证明了来自MSIS问题的某些哈希函数正在崩溃。从这种方法中，我们在适当的参数设置下得出了一个新的安全性证明。与Kiltz，Lyubashevsky和Schaffner（Eurocrypt 2018）的先前工作相比，它为DiLithium变体提供了唯一的其他严格安全证明，我们的证明具有适用于条件Q = 1 mod 2 N的优势，其中Q表示模量和n的模量和n的尺寸。此条件是原始二硫族提案的一部分，对于该计划的有效实施至关重要。9×和1。分别比Kiltz等人提出的分别大。我们在条件q = 1 mod 2 n下为二氨石提供了新的安全参数集，发现我们的公共密钥大小和签名大小约为2。在同一安全级别。
正式验证Kyber
摘要。我们提供了ML-KEM的正确性和IND-CCA安全性的正式验证的证明，即基于Kyber的键盘封装机制（KEM），该机制（KEM）正在接受NIST的标准化。证明是通过EasyCrypt进行机器检查的，其中包括：1）BOS等人之后的Kyber Base Base公开加密方案的正确性（解密失效概率）和IND-CPA安全性的形式化。在Euro S＆P 2018; 2）在随机甲骨文模型（ROM）中，富士基 - 奥卡马托转换的相关变体的形式化，该变换紧随其后（但不是完全）Hofheinz，HövelmannsandHövelmannsand Kiltz，tcc 2017； 3）证明了ML-KEM规范的Ind-CCA安全性及其作为KEM的正确性遵循了先前的结果； 4）两个正式验证的ML-KEM用Jasmin编写的实现，这些实现是恒定的，在功能上等同于ML-KEM规范，因此，因此，继承了上几点中建立的可证明的安全性保证。 顶级定理给出了独立的混凝土界限，以使ML-KEM的正确性和安全性降低到模块lwe的（变体）。 我们通过利用各种EasyCrypt功能来讨论它们如何模块化构建。在Euro S＆P 2018; 2）在随机甲骨文模型（ROM）中，富士基 - 奥卡马托转换的相关变体的形式化，该变换紧随其后（但不是完全）Hofheinz，HövelmannsandHövelmannsand Kiltz，tcc 2017； 3）证明了ML-KEM规范的Ind-CCA安全性及其作为KEM的正确性遵循了先前的结果； 4）两个正式验证的ML-KEM用Jasmin编写的实现，这些实现是恒定的，在功能上等同于ML-KEM规范，因此，因此，继承了上几点中建立的可证明的安全性保证。顶级定理给出了独立的混凝土界限，以使ML-KEM的正确性和安全性降低到模块lwe的（变体）。我们通过利用各种EasyCrypt功能来讨论它们如何模块化构建。
正式验证Kyber：第V：机器检查Ind ...
摘要。我们提供了ML-KEM的正确性和IND-CCA安全性的正式验证的证明，即基于Kyber的键盘封装机制（KEM），该机制（KEM）正在接受NIST的标准化。证明是通过EasyCrypt进行机器检查的，其中包括：1）BOS等人之后的Kyber Base Base公开加密方案的正确性（解密失效概率）和IND-CPA安全性的形式化。在Euro S＆P 2018; 2）在随机甲骨文模型（ROM）中，富士基 - 奥卡马托转换的相关变体的形式化，该变换紧随其后（但不是完全）Hofheinz，HövelmannsandHövelmannsand Kiltz，tcc 2017； 3）证明了ML-KEM规范的Ind-CCA安全性及其作为KEM的正确性遵循了先前的结果； 4）两个正式验证的ML-KEM用Jasmin编写的实现，这些实现是恒定的，在功能上等同于ML-KEM规范，因此，因此，继承了上几点中建立的可证明的安全性保证。 顶级定理给出了独立的混凝土界限，以使ML-KEM的正确性和安全性降低到模块lwe的（变体）。 我们通过利用各种EasyCrypt功能来讨论它们如何模块化构建。在Euro S＆P 2018; 2）在随机甲骨文模型（ROM）中，富士基 - 奥卡马托转换的相关变体的形式化，该变换紧随其后（但不是完全）Hofheinz，HövelmannsandHövelmannsand Kiltz，tcc 2017； 3）证明了ML-KEM规范的Ind-CCA安全性及其作为KEM的正确性遵循了先前的结果； 4）两个正式验证的ML-KEM用Jasmin编写的实现，这些实现是恒定的，在功能上等同于ML-KEM规范，因此，因此，继承了上几点中建立的可证明的安全性保证。顶级定理给出了独立的混凝土界限，以使ML-KEM的正确性和安全性降低到模块lwe的（变体）。我们通过利用各种EasyCrypt功能来讨论它们如何模块化构建。
2024 ACR First Fool 2024 Eular ...
使用数字风湿信息系统Dirhis，风湿病学的IT家族在BDRH年度国会时及时接待了另一个家庭成员。从那时起，流变学实践和诊所就可以为此数字图书馆提供免费的方法，并提供有关患者的信息材料。我们很高兴有超过一百多个用户使用了30多个设施。特别感谢我们的优质身体，包括克里斯·托普·安伯格（Chris-Topher Amberger），克里斯汀·伯利格（Kristin Burigk），戴安娜·恩斯特（Diana Ernst），丹尼尔·法拉根（Daniel Falagan），乌塔·吉尔茨（Uta Kiltz），约翰内斯·尼兹（Johannes Knitza），本杰明·科勒（BenjaminKöhler）和帕特里夏·斯蒂芬斯·斯蒂芬斯·科尔班卡
gram root分解多项式环
基于晶格的密码系统（Kiltz等，2018; Bos等，2018; Fouque等，2020）被选为NIST Quantum加密后（PQC）Standards（Alagic等，2022）。Lattice-based schemes, including the PQC standards, are often based on polynomial rings i.e., NTRU (Hoffstein et al., 1998; Fouque et al., 2020), Ring-LWE (Stehl´e et al., 2009; Lyubashevsky et al., 2010) and Module-LWE (Brak- erski et al., 2011; Langlois and Stehl´e, 2015年），以提高效率。离散的高斯概率分布（定义2.2）是晶格cryp-图表中的重要对象，更普遍地是晶格的数学效果。例如，对晶格问题的计算硬度的分析（Regev，2005; Micciancio和Regev，2007; Gentry等，2008; Peikert，2009; Brakerski等，2013）依赖于离散高斯人的有用特性。此外，许多基于高级晶格的Crypsystems，例如基于身份的加密（Gentry等，2008; Agrawal等，2010）和功能
量子随机Oracle模型中的紧密键合封码机制★
摘要。键盘包裹机制可保护量子随机甲骨文模型中所选的密文攻击（Ind-CCA-Secure KEMS），已由Boneh，Dagdelen，Fischlin，Lehmann，Lehmann，Schafner和Zhandry（Crypto 2012），Crypto 2012），Targhi and Targhi and targhi and targhi（targhi and unuh and unuh（tcc and unruh and unruh and in ccc and kirfmanz and hofmanz and hofmanz）提出。 2017）。但是，所有这些构造获得的方案的安全级别尤其是其构建基块原始安全级别的一半。在本文中，我们给出了一种将弱安全的公钥加密方案紧密转换为量子随机甲骨文模型中的IND-CCA安全KEM的转换。更准确地说，我们为确定性的公钥加密（DPKE）定义了一个称为“不相关性的可模拟性”的新安全概念，我们提出了一种方法，可以将不连接的可模拟DPKE方案转换为Ind-CCA键键封闭机制方案，而无需授予相当可能的安全性降级。此外，我们还提供了DPKE方案，其差异性可显着降低为量词后假设。结果，我们获得了量子随机甲骨文模型中各种量子后假设的Ind-CCA安全性KEM。关键字：紧密的安全性，被选为ciphertext的安全性，Quantum加密后，KEM。
藤崎-冈本的后量子验证
证明是有缺陷的 [10]。最近，发现了对 ISO 标准化分组密码模式 OCB2 [25] 的攻击 [24]，尽管 [31] 认为 OCB2 是安全的。虽然严格且结构良好的证明风格（例如，使用 [10, 35] 中提倡的游戏序列）可以减少隐藏错误和不精确的可能性，但仍然很难写出 100% 正确的证明。（特别是当使用随机预言 [13] 或倒带 [42, 45] 等证明技术时。）尤其是如果证明中的错误发生在看似非常直观的步骤中，读者很可能也不会发现这个错误。在后量子安全（即针对量子对手的安全性）的情况下，这个问题更加严重：后量子安全证明需要推理量子算法（对手）。我们的直觉是由对经典世界的经验所塑造的，而对量子现象的直觉很容易是错误的。这使得看似合理但不正确的证明步骤在后量子安全证明中特别容易不被发现。简而言之，为了确保后量子安全证明的高可信度，仅仅由人来检查是不够的。相反，我们提倡形式化（或计算机辅助）验证：安全证明由检查每个证明步骤的软件来验证。在本文中，我们介绍了第一个这样的形式化验证，即由 H¨ovelmanns、Kiltz、Sch¨age 和 Unruh [23] 分析的 Fujisaki-Okamoto 变换 [18] 的变体。
在标准假设下强大而自适应的安全性
摘要。具有结构性的签名（SP）已成为重要的加密构件，因为它们与Groth-Sahai（GS）NIZK框架的兼容性允许在标准假设下以合理的效率来协同结构协议。在过去的几年中，人们对阈值签名方案的设计引起了重大兴趣。但是，只有最近Crites等。（Asiacrypt 2023）引入了阈值SP（TSP）以及完全非相互作用的结构。这是一个重要的一步，但他们的工作有几个局限性。在构造方面，他们需要使用随机的门，交互式复杂性假设，并且仅限于所谓的索引diffie-hellman消息空间。后者将其构造用作SPS的置换量限制。在安全方面，它们仅支持静态腐败，并且不允许伪造的部分签名查询。在本文中，我们询问是否可以在没有此类限制的情况下构造TSP。我们从Kiltz，Pan和Wee的SPS开始（Crypto 2015），该结构具有有趣的结构，但是阈值将其进行一些修改。有趣的是，我们可以在完全非相互作用的阈值签名（Bellare等人，Crypto 2022），甚至在完全自适应的腐败下，以最强的模型（TS-UF-1）证明其安全。令人惊讶的是，我们可以在标准假设下显示后者，而无需任何理想化的模型。具体而言，我们在SXDH假设下的III型双线性组中的方案具有由7个组元素组成的签名。在离散对数设置中有效阈值签名的所有已知构造都需要交互式假设和理想化的模型。与Crites等人的TSP相比。（2个组元素），这是以效率为代价的。但是，我们的方案在标准假设下是安全的，实现了强大而适应性的安全保证，并支持一般消息空间，即代表许多SPS应用程序的替换。鉴于这些功能，即使对于实际应用，签名大小的增加似乎是可以接受的。
基于晶格的密码学的研讨会
[AAR] Scott Aaronson。量子信息科学简介注释。url：https：//www.scottaaronson.com/qclec.pdf（cit。p。 2）。[BB13] Rachid El Bansarkhani和Johannes Buchmann。“基于晶格的签名方案的改进和有效的影响”。in：Cryptog -raphy的选定地区 - SAC 2013 - 第20届国际会议，加拿大卑诗省BUNBAN，2013年8月14日至16日，修订了选定的论文。ed。Tanja Lange，Kristin E. Lauter和Petr Lisonek。 卷。 8282。 计算机科学中的注释。 Springer，2013年，pp。 48–67。 doi：10.1007/978-3-662-43414-7 \ _3。 url：https：//doi.org/10.1007/978-3-662-43414-7％5C_3（cit。 p。 6）。 [BG14] Shi Bai和Steven D. Galbraith。 “基于学习错误的签名改进的压缩技术”。 in：Cryptology -CT -RSA 2014年的主题 - 2014年RSA会议上的加密摄影师曲目，美国加利福尼亚州旧金山，2014年2月25日至28日，美国加利福尼亚州。。 程序。 ed。 Josh Benaloh。 卷。 8366。 计算机科学中的注释。 Springer，2014年，pp。 28–47。 doi：10.1007/978- 3- 319-04852-9 \ _2。 URL：https：//doi.org/10.1007/978-3-319-04852-9%5C_2（cit。> p。 6）。 [bin+] Nina Bindel，Jacqueline Brendel，Marc Fischlin，Brian Goncalves和Douglas Stebila。 “混合密钥封装机制和身份验证的钥匙交换”。 ：量词后密码学的国际会议。Tanja Lange，Kristin E. Lauter和Petr Lisonek。卷。8282。计算机科学中的注释。Springer，2013年，pp。48–67。doi：10.1007/978-3-662-43414-7 \ _3。url：https：//doi.org/10.1007/978-3-662-43414-7％5C_3（cit。p。 6）。[BG14] Shi Bai和Steven D. Galbraith。“基于学习错误的签名改进的压缩技术”。in：Cryptology -CT -RSA 2014年的主题 - 2014年RSA会议上的加密摄影师曲目，美国加利福尼亚州旧金山，2014年2月25日至28日，美国加利福尼亚州。程序。ed。Josh Benaloh。 卷。 8366。 计算机科学中的注释。 Springer，2014年，pp。 28–47。 doi：10.1007/978- 3- 319-04852-9 \ _2。 URL：https：//doi.org/10.1007/978-3-319-04852-9%5C_2（cit。> p。 6）。 [bin+] Nina Bindel，Jacqueline Brendel，Marc Fischlin，Brian Goncalves和Douglas Stebila。 “混合密钥封装机制和身份验证的钥匙交换”。 ：量词后密码学的国际会议。Josh Benaloh。卷。8366。计算机科学中的注释。Springer，2014年，pp。28–47。 doi：10.1007/978- 3- 319-04852-9 \ _2。 URL：https：//doi.org/10.1007/978-3-319-04852-9%5C_2（cit。> p。 6）。 [bin+] Nina Bindel，Jacqueline Brendel，Marc Fischlin，Brian Goncalves和Douglas Stebila。 “混合密钥封装机制和身份验证的钥匙交换”。 ：量词后密码学的国际会议。28–47。doi：10.1007/978- 3- 319-04852-9 \ _2。URL：https：//doi.org/10.1007/978-3-319-04852-9%5C_2（cit。p。 6）。[bin+] Nina Bindel，Jacqueline Brendel，Marc Fischlin，Brian Goncalves和Douglas Stebila。“混合密钥封装机制和身份验证的钥匙交换”。：量词后密码学的国际会议。url：p。 2）。Joppe W. Bos，Leo Ducas，Eike Kiltz，TranèdeLepoint，Lyubashevsky Badadim，John M. Schvanck，Peter Schwabe，Gregory Seiler和DamienStehlé。“晶体-Kyber。in。 2018 IEE欧洲研讨会和隐私，欧元和P 2018，英国伦敦，2018年4月24日至26日。IEEE，2018年，pp。 353–367。 doi：10.1109/eurosp.2 url：https：//也是如此。 org/1109/eUROSP.2 p。 7）。 Cong Chen，Oussama Danba，William，Will Schwabe，John Schwabe，William Whyte，Zhenfei Zhang，Tsunekazu Saito，Takashi Yamakawa和Keita Xagawa。 ntru - 提交NIST Quantum项目。 https://ntru.org/f/ntru-2019030.pdf 2019（cit。 p。 7）。 [DN12] Leo Ducases和Phong Q. Nguyen。 in：加密技术的进展 - Asiacrypt 2012 处理。 ed。 Xiaoyun Wang和Kazue Sako。 卷。 7658。 阅读计算机科学笔记。 Springer，2012年，pp。 415–432。 doi：10.1007/978-34-642-34961-4 \ _2 url：//doi.org/10.1007/978-3- 642-34961-4％5C_26（cid。 p。 7）。 处理。 ed。IEEE，2018年，pp。353–367。doi：10.1109/eurosp.2url：https：//也是如此。org/1109/eUROSP.2p。 7）。Cong Chen，Oussama Danba，William，Will Schwabe，John Schwabe，William Whyte，Zhenfei Zhang，Tsunekazu Saito，Takashi Yamakawa和Keita Xagawa。ntru - 提交NIST Quantum项目。https://ntru.org/f/ntru-2019030.pdf 2019（cit。 p。 7）。 [DN12] Leo Ducases和Phong Q. Nguyen。 in：加密技术的进展 - Asiacrypt 2012 处理。 ed。 Xiaoyun Wang和Kazue Sako。 卷。 7658。 阅读计算机科学笔记。 Springer，2012年，pp。 415–432。 doi：10.1007/978-34-642-34961-4 \ _2 url：//doi.org/10.1007/978-3- 642-34961-4％5C_26（cid。 p。 7）。 处理。 ed。https://ntru.org/f/ntru-2019030.pdf2019（cit。p。 7）。[DN12] Leo Ducases和Phong Q. Nguyen。in：加密技术的进展 - Asiacrypt 2012处理。ed。Xiaoyun Wang和Kazue Sako。卷。7658。阅读计算机科学笔记。Springer，2012年，pp。415–432。doi：10.1007/978-34-642-34961-4 \ _2url：//doi.org/10.1007/978-3- 642-34961-4％5C_26（cid。p。 7）。处理。ed。[GLP12]TimGüneysu，Vadim Lyubashevsky和ThomasPöppelmann。“基于晶格的密码学：嵌入式系统的签名方案”。in：加密硬件和嵌入式系统 - CHES 2012-11届国际研讨会，比利时，比利时，2012年9月9日至12日。由伊曼纽尔·普鲁（Emmanuel Prou）和帕特里克·舒蒙特（Patrick Schaumont）作者。卷。7428。计算机科学中的注释。Springer，2012年，pp。530–547。DOI：10.1007/978-3-642-33027-8 \ _31。url：https：//doi.org/10.1007/978-3-642-33027-8％5C_31（cit。p。 7）。[GNR10] Nicolas Gama，Phong Q. Nguyen和Oded Regev。“使用treme修剪的晶格枚举”。in：密码学的进展 - 2010年Eurocrypt。ed。henri Gilbert。柏林，海德堡：斯普林格柏林海德堡，2010年，pp。257–278（cit。p。 4）。[HHK17] Dennis Hofheinz，KathrinHövelmanns和Eike Kiltz。“对富士基 - 奥卡本转换的模块化分析”。在：密码学理论 - 第15届国际会议，TCC 2017，美国马里兰州巴尔的摩，2017年11月12日至15日，会议记录，第一部分。ed。Yael Kalai和Leonid Reyzin。 卷。 10677。 计算机科学中的注释。 Springer，2017年，pp。 341–371。 doi：10.1007/978-3-319-70500-2 \ _12。 URL：https：//doi.org/10.1007/978-3-319-70500-2%5C_12（cit。> p。 6）。Yael Kalai和Leonid Reyzin。卷。10677。计算机科学中的注释。Springer，2017年，pp。341–371。doi：10.1007/978-3-319-70500-2 \ _12。URL：https：//doi.org/10.1007/978-3-319-70500-2%5C_12（cit。> p。 6）。URL：https：//doi.org/10.1007/978-3-319-70500-2%5C_12（cit。p。 6）。