XiaoMi-AI文件搜索系统
World File Search SystemVaikuntanathan
Vinod Vaikuntanathan-人| MIT CSAIL
6。Melissa Chase，Seny Kamara，Andrew Putnam，Timothy Sherwood，Dan Shumow和Vinod Vaikuntanathan。抗检查的片上记忆体系结构，邀请在计算机档案会议上邀请IEEE Micro Tops 2013特刊。首先出现在国际计算机体系结构会议论文集（ISCA），2012年。
量子密钥可撤销双 Regev 加密，重新审视
量子信息可用于实现经典加密无法实现的新型加密原语。Ananth、Poremba、Vaikuntanathan (TCC 2023) 最近的一项工作重点是使用量子信息为 Gentry、Peikert、Vaikuntanathan (STOC 2008) 引入的双 Regev 加密方案配备密钥撤销功能。他们进一步表明，密钥可撤销双 Regev 方案意味着存在完全同态加密和伪随机函数，它们都配备了密钥撤销功能。不幸的是，他们只能根据新的猜想证明其方案的安全性，而没有解决基于经过充分研究的假设来确定密钥可撤销双 Regev 加密安全性的问题。在这项工作中，我们解决了这个悬而未决的问题。假设具有误差的多项式学习难度（超过亚指数模数），我们证明密钥可撤销双 Regev 加密是安全的。因此，我们首次获得以下结果：
论量子密码学所需的计算难度
[Crépeau，Kilian'88； ， Bartusek、Coladangelo、Khurana、Ma'21； Grilo, Lin, Song, Vaikuntanathan'21] • 没有 OWF 的 MPC [Kretschmer'21； Ananth，Q，Yuen'22； [森前，山川 '22]
Travis Morrison
1。迈向孤立的Jinvariants的分类（与Abbey Bourdon，Sachi Hashimoto，Timo Keller，Zev Klagsbrun，David Lowry -Duda，Filip Najman和Himanshu Shukla）。ARXIV：2311.07740。 2。 使用不可分割的内态计算超大的内态环（与Jenny Fuselier，Annamaria Iezzi，Mark Kozek和Changningphaabi Namoi-Jam一起使用）。 ARXIV：2306.03051。 3。 您可以信任的超级曲线（与Andrea Basso，Giulio Codogni，Deirdre Connolly，Luca de Feo，Tako Boris Fouotsa，Guido Maria Lido，Lorenz Panny，Sikhar Patranabis，Benjamin Wesolowski）。 eUrocrypt 2023。 EPRINT：2022/1469。 4。 同类加密标准（Martin Albrecht，Melissa Chase，Hao Chen，Jintai ding，Sha Foldwasser，Sergey Gorbunov，Shai Halevi，Je i（Je i（Je i at） Vaikuntanathan）。 2022。 通过同型加密保护隐私的书籍（eds Kristin Lauter，Wei Dai和Kim Laine）。 5。 chabauty-coleman计算一条PICARD曲线。 （与Sachi Hashimoto一起）。 2021。 Simons研讨会：算术地理学，数字理论和汇编。 arxiv：2002.03291ARXIV：2311.07740。2。使用不可分割的内态计算超大的内态环（与Jenny Fuselier，Annamaria Iezzi，Mark Kozek和Changningphaabi Namoi-Jam一起使用）。ARXIV：2306.03051。 3。 您可以信任的超级曲线（与Andrea Basso，Giulio Codogni，Deirdre Connolly，Luca de Feo，Tako Boris Fouotsa，Guido Maria Lido，Lorenz Panny，Sikhar Patranabis，Benjamin Wesolowski）。 eUrocrypt 2023。 EPRINT：2022/1469。 4。 同类加密标准（Martin Albrecht，Melissa Chase，Hao Chen，Jintai ding，Sha Foldwasser，Sergey Gorbunov，Shai Halevi，Je i（Je i（Je i at） Vaikuntanathan）。 2022。 通过同型加密保护隐私的书籍（eds Kristin Lauter，Wei Dai和Kim Laine）。 5。 chabauty-coleman计算一条PICARD曲线。 （与Sachi Hashimoto一起）。 2021。 Simons研讨会：算术地理学，数字理论和汇编。 arxiv：2002.03291ARXIV：2306.03051。3。您可以信任的超级曲线（与Andrea Basso，Giulio Codogni，Deirdre Connolly，Luca de Feo，Tako Boris Fouotsa，Guido Maria Lido，Lorenz Panny，Sikhar Patranabis，Benjamin Wesolowski）。eUrocrypt 2023。EPRINT：2022/1469。 4。 同类加密标准（Martin Albrecht，Melissa Chase，Hao Chen，Jintai ding，Sha Foldwasser，Sergey Gorbunov，Shai Halevi，Je i（Je i（Je i at） Vaikuntanathan）。 2022。 通过同型加密保护隐私的书籍（eds Kristin Lauter，Wei Dai和Kim Laine）。 5。 chabauty-coleman计算一条PICARD曲线。 （与Sachi Hashimoto一起）。 2021。 Simons研讨会：算术地理学，数字理论和汇编。 arxiv：2002.03291EPRINT：2022/1469。4。同类加密标准（Martin Albrecht，Melissa Chase，Hao Chen，Jintai ding，Sha Foldwasser，Sergey Gorbunov，Shai Halevi，Je i（Je i（Je i at） Vaikuntanathan）。2022。通过同型加密保护隐私的书籍（eds Kristin Lauter，Wei Dai和Kim Laine）。5。chabauty-coleman计算一条PICARD曲线。（与Sachi Hashimoto一起）。2021。Simons研讨会：算术地理学，数字理论和汇编。arxiv：2002.03291
完全同态加密的兴起
2010 年，Martin van Dijk、Craig Gentry、Shai Halevi 和 Vinod Vaikuntanathan 12 (DGHV) 确定，向 pq i 公钥添加噪声会阻止 GCD（最大公约数）密钥发现以及目前的任何其他密钥发现方法。要添加的噪声量由近似 GCD 假设确定：如果从集合 {xi = qip + 2r i : ri << p : p << qi } 中抽取许多整数，其中 (1) ri 是少量噪声并且对于每次加密都不同，并且 (2) 每个 xi 都非常接近 p 的倍数但不是 p 的精确倍数，则整数集 xi 与相同大小的随机整数无法区分。
在QROM
基于可撤销的身份加密（RIBE）是IBE的扩展，它满足了一个关键的撤销机制，可以动态和有效地管理许多用户。为了抵抗量子攻击，在（量子）随机甲骨文模型（（q）ROM）中已知两个自适应的基于晶格的RIBE方案。Wang等。 在ROM中安全的方案具有大型秘密键，具体取决于二进制树的深度，其安全性降低并不紧。 ma和lin的方案在QROM中具有较大的密码，具体取决于标识的长度，不是匿名的。 在本文中，我们提出了一种在QROM中安全的基于晶格的RIBE方案。 我们的方案具有紧凑的参数，其中密文 - 大小比Wang等人小。 的方案和秘密密钥大小与MA和Lin的方案相同。 此外，我们的计划是匿名的，其安全性降低完全紧密。 我们通过修改MA-LIN的计划实例化，设计了拟议的方案，该计划由Gentry-Peikert- Vaikuntanathan（GPV）IBE进行了实例化。 我们可以利用Katsumata等人获得计划的优势。 在QROM中GPV IBE的证明技术。Wang等。在ROM中安全的方案具有大型秘密键，具体取决于二进制树的深度，其安全性降低并不紧。ma和lin的方案在QROM中具有较大的密码，具体取决于标识的长度，不是匿名的。在本文中，我们提出了一种在QROM中安全的基于晶格的RIBE方案。我们的方案具有紧凑的参数，其中密文 - 大小比Wang等人小。的方案和秘密密钥大小与MA和Lin的方案相同。此外，我们的计划是匿名的，其安全性降低完全紧密。我们通过修改MA-LIN的计划实例化，设计了拟议的方案，该计划由Gentry-Peikert- Vaikuntanathan（GPV）IBE进行了实例化。我们可以利用Katsumata等人获得计划的优势。在QROM中GPV IBE的证明技术。
詹姆斯·弗兰克研究所
• Paul Alivisatos，总裁，化学 • Cheng Chin，物理学 • David DeMille，物理学 • Aaron Dinner，化学 • Todd Dupont，计算机科学 • Greg Engel，化学 • Laura Gagliardi，化学 • Margaret Gardel，物理学 • Philippe Guyot-Sionnest，化学 • William TM Irvine，物理学 • Heinrich M. Jaeger，物理学 • Woowon Kang，物理学 • Ka Yee Lee，化学 • Kathryn J. Levin，物理学 • Michael Levin，物理学 • Peter B. Littlewood，物理学 • David A. Mazziotti，化学 • Sidney R. Nagel，物理学 • Jiwoong Park，化学 • Norbert F. Scherer，化学 • Steven J. Sibener，化学 • Dam Thanh Son，物理学 • Dmitri Talapin，化学 • Bozhi Tian，化学 • Andrei Tokmakoff，化学 • Suri Vaikuntanathan，化学 • Vincenzo Vitelli，物理学 • Gregory A. Voth，化学 • Paul Wiegmann，物理学• Linda Young，物理学 • Luping Yu，化学
仔细观察猎鹰 - 密码学EPRINT档案
摘要Falcon是NIST六年Quantum加密标准化竞赛的赢家。基于著名的Gentry，Peikert和Vaikuntanathan（GPV）（STOC'08）的全体锤子框架（Falcon）利用NTRU Lattices来实现基于晶格基的方案中最紧凑的签名。其安全性取决于该方案的核心元素高斯采样器的基于RényiDivergence的论点。然而，使用统计距离来争论分布的GPV证明，由于参数选择而无效地应用于猎鹰，导致统计距离的距离为2-34。其他实施驱动的偏离GPV框架进一步使原始证明无效，尽管选择了标准化，但Falcon没有安全证明。这项工作仔细研究了Falcon，并证明了一些少数次要的保守修改允许在随机Oracle模型中对该方案的第一个正式证明。我们分析的核心是GPV框架与RényiDivergence一起使用的适应，以及在此度量下选择参数选择的优化方法。不幸的是，我们的分析表明，尽管我们对Falcon -512和Falcon -1024进行了修改，但对于任何一种方案，我们都没有实现强大的不强制性。对于普通的不强制性，我们能够证明我们对Falcon -512的修改几乎无法满足所要求的120位安全目标，而对于Falcon -1024，我们确认了声称的安全级别。因此，我们建议重新访问猎鹰及其参数。