MIT副负责人,EECS部门 2015-2016麻省理工学院完整教授1991年 - 现任麻省理工学院终身教授1988-1991 MIT副教授1986-1988 MIT助理教授1983-1986多伦多大学多伦多大学大多伦多大学学院研究员1982-1983MIT副负责人,EECS部门2015-2016麻省理工学院完整教授1991年 - 现任麻省理工学院终身教授1988-1991 MIT副教授1986-1988 MIT助理教授1983-1986多伦多大学多伦多大学大多伦多大学学院研究员1982-1983
R。阿隆索大学哈瓦那大学,古巴E. Altshuler,哈瓦那大学,古巴M. Cosentino Lagomarsino,Ifom,Italy,Italy J. Grilli,ICTP,ITALY G. MICALI,ITALY G. MICALI,HUMUNITAS,HUMINITAS,意大利R. Mulet R. Mulet,Havana,Havana,Havana,Cuba A Petroff,Cuba A Petroff,Clarck University,Clarck University,USA W.Shoemaker,If tallase,If tallase,If tallake L.F. Toledo,Unicamp,巴西
主旨演讲者 Luisa Damiano |米兰 IULM 大学 Marco Giunti |卡利亚里大学 Dirk Ifenthaler |曼海姆大学 Fabrizia Garavaglia|卡利亚里大学 Silvio Micali | 麻省理工学院波士顿分校
理论计算机科学通过确定新领域的关键问题并以推动发展的方式对其进行阐述,对计算和社会产生影响。事实上,从图灵奖的引文来看,计算机科学的大部分历史都充满了由 TCS 研究人员开创的主要领域的例子:密码学(Adleman、Rivest、Shamir、Micali、Goldwasser);算法和计算复杂性的现代理论(Cook、Karp、Hopcroft、Tarjan、Hartmanis、Stearns、Blum、Yao);机器学习的基础(Valiant);以及分布式系统(Lamport、Liskov)。最近,TCS 在量子计算、算法经济学、算法隐私和算法公平性等领域的创建中发挥了核心作用。
对于基于哈希的签名,人们认为系统的安全性基于对称哈希函数的可计算性这一经过充分研究的难度。这些方法通常使用哈希树,这是一种特殊的过程,可以为多个一次性签名分配一个公共验证密钥。因此,这样的系统是有状态的,即签名的创建者必须在每次操作后更新其签名密钥,并且在创建密钥时已经确定了最大签名数量。这些程序包括已经标准化的扩展 Merkle 签名方案 (XMSS) 和 Leighton Micali 系统 (LMS)。基于哈希函数的无状态签名系统也是可行的,但创建签名需要更多的计算时间,并且必须使用更长的签名。无状态签名系统的一个例子是 SPHINCS [7]。
不经意传输 (OT) [Rab05] 是一种基本的密码原语,它允许接收方获取发送方持有的两个输入中的一个,而接收方对另一个输入一无所知,发送方则一无所知(特别是接收方收到的输入)。后来 [Cr´e87] 表明,二分之一 OT 等同于更一般的 n 分之一 OT 的情况,其中发送方持有 n 个输入,接收方接收其中一个。Goldreich、Micali 和 Wigderson [GMW87] 的成果说明了不经意传输的重要性,他们证明 OT 是 MPC 完全的,这意味着它可以用作构建块,无需任何额外的原语即可安全地评估任何多项式时间可计算函数。因此,研究这个原语的安全性变得至关重要,尤其是考虑到
伪随机函数 (PRF) 是现代密码学的基本组成部分之一。Goldreich、Goldwasser 和 Micali 在开创性著作 [ 13 ] 中引入了 PRF,回答了如何构建一个与随机函数难以区分的函数的问题。粗略地说,PRF 可以保证没有任何有效算法能够通过 oracle 访问这样的函数而将其与真正的随机函数区分开来。事实证明,PRF 是密码原语(如分组密码和消息认证码)设计中的宝贵工具,而且现在已成为一个很好理解的对象:继 [ 13 ] 基于树的构造之后,PRF 已从伪随机合成器 [ 19 ] 和直接从许多难题 [ 20 、 21 、 22 、 11 、 18 、 7 、 2 ] 构建而成。然而,当考虑更精细的量子设置时,对 PRF 硬度的研究仍处于起步阶段。在深入研究这一原语的细节之前,需要进行一些澄清,因为可以用两种方式定义 PRF 的量子安全性:
加密自我选择是由现代综合共识协议所采用的范式,以选择具有块的“领导者”。 Algorand [Chen and Micali,2019年]提出了规范协议,Ferreira等人。[2022]在战略参与者的最大分数上建立界限(𝛼,𝛽)可以作为其股份𝛼 𝛼和网络连接参数𝛽 𝛽的函数。虽然它们的下限和上限都是不平凡的,但它们之间存在很大的差距(例如,它们建立𝑓(10%,1)∈[10。08%,21。12%]),公开一个问题,即这些操纵的关注程度有多重要。我们将计算方法开发为任何所需的(𝛼,𝛽)的指甲𝑓(𝛼,𝛽),以达到任意精度,并在广泛的参数上实现我们的方法(例如,我们确认𝑓(10%,1)∈[10。08%,10。15%])。从方法论上讲,估计𝑓(𝛼,𝛽)可以用作估算高精度的马尔可夫决策过程的价值,其状态是实数列表。我们的方法论贡献涉及(a)重新提出问题,而是将问题计算为高精度的分布的预期价值,该分布是非线性采样操作员的定点,以及(b)可证明由各种截断和采样估算所引起的误差界定该分布的误差(似乎可以在封闭形式求解)。一个技术挑战是,基于自然采样的目标分布平均值的估计值不是公正的估计量,因此我们的方法一定超出了声称足够多的样本以接近平均值的范围。
在理解新的,但同时是旧的建议方面取得了巨大进展。实际上,在最后一轮中针对候选人[4,23]的一些突破性的隐性结果敦促NIST为数字签名开放一个额外的回合[1],期望在签名和关键大小之间实现潜在的硬性问题和比率的更多多样性。在这一额外的一轮中,NIST表示他们希望选择具有较小签名和不基于结构化晶格的快速验证的方案。适合描述的直接候选者是基于UOV [19]的多元签名,其本质上具有很小的签名。这些缺点是他们通常拥有巨大的公共钥匙,并且不能保证建筑的安全性。在频谱的另一端,是沉重但可证明的菲亚尔·沙米尔(Fiat-Shamir)签名。在几年的过程中,由于通用签名大小的巨大改进,他们从极低效率低下到合理的标准化候选人。现在,根据菲亚特 - 沙米尔范式,在额外的回合中有超过12个候选人。其中三个,Meds [11],Alteq [22]和更少的[3]使用Goldreich,Micali和Wigderson的GMWσ-Protocol [17],最初是在图均等概率上提出的,但可以从任何难题的问题中构成。例如,MEDS使用矩阵代码等价问题,其中对象是ma-trix代码,而等效性是双向的双向指行使线性变换。alteq使用一般线性群的交替的三连线形式等效性,但现在起作用在三个“侧面”上。最后,少量使用lin- ear code等效性,其中对象是锤击代码和等价缩放排列的。在所有这些方案中,异构体是在签名中编码的,并且典型地构成了其中的大多数。找到同量法的紧凑表示形式,因此直接影响签名的大小。在本文中,我们的目标是更有效地编码异构体,同时保持对其他性能指标(公共密钥大小和计算性能)的影响。
1大臣Della致敬。 致敬。 干扰della nutrizione e dell'morimentazione(DNA)。 https://www.salute.gov.it/portale/salutementale/menucontenutosalutale.jsp?sp?lingua=italiano = salute%20mentale&menu = menu = dna 2世界卫生组织。 (2019)。 国际疾病和相关健康问题的统计分类(第11版)。 https://icd.who.int/ 3美国精神病学协会,《精神障碍诊断和统计手册》,第5版(DSM-5),弗吉尼亚州阿灵顿,2013年。 4 GBD 2019精神障碍合作者(2022)。 在204个国家和地区的12种精神障碍的全球,区域和国家负担,1990- 2019年:2019年全球疾病负担研究的系统分析。 柳叶刀。 精神病学,9(2),137–150。 https://doi.org/10.1016/s2215-0366(21)00395-3 5国家准则联盟(英国)。 (2017)。 饮食失调:识别和治疗。 国家健康与护理研究所(NICE)。 6 Mehler PS。 (2022)饮食失调:医疗和并发症的综合指南。 Johns Hopkins Univ PR; 4°Edizione。 7 Carretier,E.,Blanchet,C.,Moro,M。R.,&Lachal,J. (2021)。 在青春期的神经性神经性厌食症的重度抑郁症:治疗策略的范围审查。 l'Encephale,47(1),72-78。 https://doi.org/10.1016/j.encep.2020.05.017 8 Bahji,A. A.,&Hawken,E。(2019)。 精神病学研究,273,58-66。1大臣Della致敬。致敬。干扰della nutrizione e dell'morimentazione(DNA)。https://www.salute.gov.it/portale/salutementale/menucontenutosalutale.jsp?sp?lingua=italiano = salute%20mentale&menu = menu = dna 2世界卫生组织。(2019)。国际疾病和相关健康问题的统计分类(第11版)。https://icd.who.int/ 3美国精神病学协会,《精神障碍诊断和统计手册》,第5版(DSM-5),弗吉尼亚州阿灵顿,2013年。4 GBD 2019精神障碍合作者(2022)。在204个国家和地区的12种精神障碍的全球,区域和国家负担,1990- 2019年:2019年全球疾病负担研究的系统分析。柳叶刀。精神病学,9(2),137–150。https://doi.org/10.1016/s2215-0366(21)00395-3 5国家准则联盟(英国)。 (2017)。 饮食失调:识别和治疗。 国家健康与护理研究所(NICE)。 6 Mehler PS。 (2022)饮食失调:医疗和并发症的综合指南。 Johns Hopkins Univ PR; 4°Edizione。 7 Carretier,E.,Blanchet,C.,Moro,M。R.,&Lachal,J. (2021)。 在青春期的神经性神经性厌食症的重度抑郁症:治疗策略的范围审查。 l'Encephale,47(1),72-78。 https://doi.org/10.1016/j.encep.2020.05.017 8 Bahji,A. A.,&Hawken,E。(2019)。 精神病学研究,273,58-66。https://doi.org/10.1016/s2215-0366(21)00395-3 5国家准则联盟(英国)。(2017)。饮食失调:识别和治疗。国家健康与护理研究所(NICE)。6 Mehler PS。 (2022)饮食失调:医疗和并发症的综合指南。 Johns Hopkins Univ PR; 4°Edizione。 7 Carretier,E.,Blanchet,C.,Moro,M。R.,&Lachal,J. (2021)。 在青春期的神经性神经性厌食症的重度抑郁症:治疗策略的范围审查。 l'Encephale,47(1),72-78。 https://doi.org/10.1016/j.encep.2020.05.017 8 Bahji,A. A.,&Hawken,E。(2019)。 精神病学研究,273,58-66。6 Mehler PS。(2022)饮食失调:医疗和并发症的综合指南。Johns Hopkins Univ PR; 4°Edizione。 7 Carretier,E.,Blanchet,C.,Moro,M。R.,&Lachal,J. (2021)。 在青春期的神经性神经性厌食症的重度抑郁症:治疗策略的范围审查。 l'Encephale,47(1),72-78。 https://doi.org/10.1016/j.encep.2020.05.017 8 Bahji,A. A.,&Hawken,E。(2019)。 精神病学研究,273,58-66。Johns Hopkins Univ PR; 4°Edizione。7 Carretier,E.,Blanchet,C.,Moro,M。R.,&Lachal,J.(2021)。在青春期的神经性神经性厌食症的重度抑郁症:治疗策略的范围审查。l'Encephale,47(1),72-78。https://doi.org/10.1016/j.encep.2020.05.017 8 Bahji,A.A.,&Hawken,E。(2019)。精神病学研究,273,58-66。饮食失调个体中使用物质使用障碍合并症的流行率:系统评价和荟萃分析。https://doi.org/10.1016/j.psychres.2019.01.007 9 Martinussen,M.,Friborg,O.,Schmierer,P.,Kaiser,S.,S.,Øvergård,K.T.饮食失调中人格障碍的合并症:一项荟萃分析。饮食和体重障碍:EWD,22(2),201–209。https://doi.org/10.1007/s40519-016-016-0345-x 10 Schaumberg,K.,Zerwas,S.,Goodman,E.,Yilmaz,Z.10岁时的焦虑症症状预测饮食失调症状和青春期诊断。儿童心理学和精神病学杂志以及联盟学科,60(6),686–696。https://doi.org/10.1111/jcpp.12984 11部长DellaSanità。 致敬。 il riconoscimento precoce dei扰乱了dell'erimentazione。 https://www.salute.gov.it/portale/salutementale/dettagliocontenutisalutementale.jsp?lingua=italiano&id = 5642&area = salute%20mentphementale;https://doi.org/10.1111/jcpp.12984 11部长DellaSanità。致敬。il riconoscimento precoce dei扰乱了dell'erimentazione。https://www.salute.gov.it/portale/salutementale/dettagliocontenutisalutementale.jsp?lingua=italiano&id = 5642&area = salute%20mentphementale;