摘要。太空网络已成为不断增长的发展领域,并增加了世界各地政府的卫星和太空业务。然而,从历史上看,这种网络设计尚未公开,导致对它们提供的安全性的正式加密分析有限。空间网络中使用的少数公共协议之一是捆绑协议,该协议由互联网工程工作组(IETF)标准的Bundle协议安全性(BPSEC)确保。我们在其默认安全环境下对BPSEC进行了首次分析,建立了IETF标准中规定的安全渠道安全目标的模型,并在消息丢失检测中注意其中的问题。我们证明了BPSEC安全,还提供了更强的结构,该结构支持捆绑协议的功能目标,同时还确保目的地对丢失消息组件的意识。
摘要。零知识证明(ZKP)是一个加密原始的原始性,使卖者能够说服一个陈述是真实的,而无需透露任何其他信息以外的任何其他信息。由于其强大的功能,其最实用的类型,称为零知识简洁的非交互性知识论据(ZKSNARK),已被广泛地部署在各种隐私性的应用程序中,例如加密货币和可验证的计算。尽管最新的zksnarks对于verifier来说是非常有效的,但供个人的计算开销仍然是数量级,而无法在许多应用中保证使用。该开销源于几个耗时的操作,包括大规模矩阵矢量乘法(MUL),数字理论变换(NTT),尤其是构成最大比例的多尺度乘法(MSM)。因此,需要进一步提高效率。
从美国公用事业到澳大利亚建筑商,从亚洲制造商到欧洲酿酒师,公司面临着对气候变化的直接,物理影响的越来越多。极端天气事件,例如野火和洪水,有可能破坏财产和破坏操作。1逐渐变化,例如水和热应激,有可能限制获得所需资源的机会并导致生产力损失。2此外,增加的物理气候暴露还会间接影响企业,例如,通过更高的保险和债务成本增加(Hope&Friedman,2018; Kling等,2021; Quinson,2021)。物理气候变化的暴露是天生的前瞻性和长期的,超过了典型的管理和商业周期时间范围(Bansal等,2018; Carney,2015; Flammer等,2021; Wright&Nyberg,2017)。这些暴露的性质是动态且高度不确定的,充满了模型选择的歧义,气候模型中未知的结果以及预测对未来效果和财务影响的不确定性(Barnett等,2020; Pindyck,2022年,第2022页,第2022页,第2022页)56 - 77)。此外,气候变化是系统性的,会影响各个部门和国家(Li等,2021; Winn等,2011)。这些长期,不确定和全身性的效果使身体变化与短期冲击或经历的变化不同(Aghion等,2012; Anand&Singh,1997; Eggers&Park,2018; Flammer&ioannou,2021),对公司的策略(Howardville&Lahnnemem,linnemen,linnemen,2021; linnnnnnnnement; linnnnnnnnement; linnnnnnnnement;面临着增加气候变化的身体暴露,对公司的适应和解决后果至关重要。首先,他们需要适应自己的生存和成长(Amit&Wernerfelt,1990; Helfat&Martin,2015; Tashman&Rivera,2016年)。此外,它们的适应对他们所服务的社会和社区至关重要(Surminski,2013; Winn&Pogutz,2013)。有关气候变化的现有管理文献主要集中在公司的缓解策略上 - 减少公司对
承诺量子态意味着什么?在这项工作中,我们提出了一个简单的答案:如果在承诺阶段之后,承诺状态从发送者的角度来看是隐藏的,则对量子消息的承诺具有约束力。我们用几个实例来说明这个新定义。我们构建了第一个非交互式简洁量子态承诺,它可以看作是量子消息的抗碰撞散列的类似物。我们还表明,任何经典消息的承诺方案都隐含着隐藏量子态承诺 (QSC)。我们所有的构造都可以基于量子密码假设,这些假设隐含在单向函数中,但可能比单向函数更弱。对量子态的承诺为许多新的加密可能性打开了大门。简洁 QSC 的旗舰应用是 Kilian 简洁论证的量子通信版本,适用于任何具有具有恒定误差和多对数局部性的量子 PCP 的语言。代入 PCP 定理,这可以在比传统要求弱得多的假设下为 NP 提供简洁的论证;此外,如果量子 PCP 猜想成立,这将扩展到 QMA。我们安全性证明的核心是一种用于提取量子信息的新型倒带技术。
摘要 为了帮助小公司获得银行融资,大型卖家通常会策划联合融资计划,将其小经销商与大型银行联系起来,大型银行根据卖家提供的信息向所有参与的经销商提供贷款。我们研究了这种卖家策划的融资计划下的供应链决策(定价和库存)和贷款条款。在贷款定价中,我们强调了一种在这种计划下尤为重要的金融摩擦形式——银行资本监管。银行在全球范围内被要求维持监管资本以减轻不可预见的贷款损失,使用标准化方法(监管资本是贷款金额的固定百分比)或内部评级 (IRB) 方法(取决于贷款的风险价值)。我们考虑一个博弈论模型,该模型由一个大型卖家和多个资本受限的报童型经销商组成,他们从受资本监管的银行获得融资。卖方决定批发价格以及是否与银行合作为经销商制定联合融资计划,经销商选择库存水平和融资渠道。我们发现,只有当银行采用内部评级法且经销商风险较低时,卖方才应该制定联合融资计划。当经销商之间的需求相关性较低且经销商数量较多时,此类计划对卖方更有利可图。虽然这些计划总是使卖方受益,但可能会损害中等风险的经销商。面对财务状况各异的经销商,联合融资计划的条款应设计为财力雄厚的经销商补贴财力薄弱的经销商。最后,允许卖方分担部分贷款损失可以进一步提高联合融资的绩效,但前提是卖方的资本机会成本较低。我们的研究结果为大型卖家如何协调联合融资计划以及小型经销商如何做出相应的运营决策提供了指导。
我们还推出了sphinx数据包格式增强版本的“ Kem 3 Sphinx”,旨在通过增加数据包标头大小的修改来提高性能。与其前身不同,Kem Sphinx解决了原始设计固有的性能限制,提供了使处理速度加倍的解决方案。我们的分析扩展到在量子后加密环境中Kem Sphinx的适应,显示出最小的性能降解的过渡。该研究得出的结论是,在增加规模和提高速度和安全性之间的权衡是合理的,尤其是在要求更高安全性的情况下。这些发现表明,Kem Sphinx是在越来越多的量词后加密景观中使用高效,安全通信方案的有希望的方向。
定时的加密研究原始图,仅保留其安全性,仅在预定的时间内,例如顺序工作的证据和时间锁定难题。此功能已被证明在大量实际应用中很有用,例如随机性产生,密封竞标拍卖和公平的多方计算。但是,定时密码学中的当前状态不令人满意:几乎所有有效的结构都依赖于单个顺序假设,即在未知顺序组中重复平方群无法平行。这是经典环境中的单个失败点,甚至是针对量子对手的错误。在这项工作中,我们提出了一个新的顺序假设,该假设本质上说,基于标准晶状体的哈希函数的重复应用不能并行。我们提供了该假设有效性的具体证据,并进行了一些初始的密码分析。我们还提出了一个新模板,以基于晶格技术来构建顺序工作的证明。
自从量子计算和现代密码学诞生以来,几十年来一直保持着高效的合作关系。一方面,得益于 Shor 算法 [Sho94],(大规模) 量子计算机可用于破解许多广泛使用的基于因式分解和离散对数难度的密码系统。另一方面,量子信息和计算帮助我们实现了原本不可能实现的加密任务,例如量子货币 [Wie83] 和生成可证明的随机性 [Col09、VV12、BCM+18]。量子密码学中的另一颗明珠是 Bennett 和 Brassard [BB84] 发现了一种无条件安全的密钥交换协议。也就是说,他们为传统上必须依赖于未经证实的计算假设的加密任务实现了信息论安全性。简而言之,他们利用量子态的不可克隆性(量子力学的基本原理)实现了这一点。更引人注目的是,他们的协议对量子资源的使用率极低,因此已在实践中应用于非常远的距离 [ DYD + 08 , LCH + 18 ]。这与大规模量子计算形成了鲜明对比,后者的可能性仍在积极讨论中。Bennett 和 Brassard 的开创性工作为密码学领域提出了一个诱人的可能性:
摘要。最近的作品表明,量子周期可以用于打破许多流行的构造(某些块密码,例如偶数,多个Mac和AES。。。 )在叠加查询模型中。到目前为止,所有破碎的结构都表现出强大的代数结构,使得能够定期发挥单个输入块的定期功能。恢复秘密时期允许恢复钥匙,区分,打破这些模式的确定性或真实性。在本文中,我们介绍了量子线性化攻击,这是一种使用Simon的算法来定位叠加查询模型中MAC的新方法。特别是,我们使用多个块的输入作为隐藏线性结构的函数的接口。恢复此结构允许执行伪造。我们还提出了使用其他量子算法的这种攻击的一些变体,这些算法在量子对称地crypt-分析中不太常见:Deutsch's,Bernstein-Vazirani和Shor's。据我们所知,这是这些算法第一次用于伪造或钥匙恢复攻击中。我们的攻击破坏了许多可行的MAC,例如LightMac,PMAC和许多具有(经典的)超越生物结合安全性(Lightmac+,PMAC+)或使用可调整的块密码(ZMAC)的变体。更普遍地,它表明,构建可行的量子安全性PRF可能是一项具有挑战性的任务。
摘要。本文通过研究加密和集体力量之间的关系,扩展了密码工作(Rogaway,2015年)的道德特征(Rogaway,2015)和加密货币的对话。特别是在基层组织的背景下,它考虑了密码学(这是一个边缘化的人建立集体力量来影响系统变化的过程),并说明了密码学既帮助又阻碍组织工作的方式的方式。基于数十种定性研究,学术批评和历史文物的综合,这项工作引入了密码协议设计的范式转变 - 一般的原理和推荐,用于建立密码学以满足边缘人的生活需求和经验。最后,它要求废除加密:加密理论和实践,这些理论和实践消除了有害系统,并用维持人类生命和生计的系统代替它们。