Bridging Theory and Practice in Password-Based Cryptography

基于密码的密码学的理论与实践的桥梁

基本信息

  • 批准号:
    2605368
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Studentship
  • 财政年份:
    2021
  • 资助国家:
    英国
  • 起止时间:
    2021 至 无数据
  • 项目状态:
    未结题

项目摘要

Online authentication is most often password-based. While a full understanding of the security bounds on password-based encryption systems is a precondition for designing robust instances, there exist systems which have yet to be subjected to advanced methods of analysis. Analytical frameworks like multi-instance security [1] allow for deriving security bounds relevant to password-based encryption. This multi-instance example formalises the security from a higher abstraction - instead of focusing of the security of a single instance, the system as a whole in analysed. This broadens the approach, allowing for analysis of second lines of defence. The example application from Bellare et. al. [1] is a formal security proof for the common practice of password salting. Public salting doesn't impact the adversary's advantage for recovering a single password, but greatly effects the advantage for recovering them all. Bellare et. al. formalised a conception of indifferentiability for a multi-instance case to prove this. By building systems without the fuller understanding of security conceptions, which these frameworks allow us, we run the risk of missing simple security improvements (like salting). A modern attack scenario could entail preprocessed dictionaries of iterated, memory-hard hashes in a multi-instance environment. Future scenarios could feasibly involve quantum based attacks, with the capability of searching n length lists in (square root) n time [2]. Future proofing password-based cryptographic systems will involve considering the union of these situations. Aims The aims of this project are intended to bridge the theory of provable security for the context of password based cryptography, with the instances of new password-based protocols used in the wild. This means three goals, to be approached linearly: -Conduct research into the current landscape of password-based cryptography. Which means investigating the generation and distribution of passwords in real life, in order to produce a model based on empirical results. Assess bounds for the model with formal security analysis. - Consider the memory-hard, preprocessed scenario - constructing a tight security bound for the multi-instance case. -Push bounds to levels which remain comfortable in the quantum attacker case, where the parties attempting to maintain security are non-quantum.
在线身份验证通常是基于密码的。虽然充分了解基于密码的加密系统的安全界限是设计健壮实例的先决条件,但仍有一些系统尚未接受先进的分析方法。像多实例安全[1]这样的分析框架允许导出与基于密码的加密相关的安全界限。这个多实例示例从更高的抽象中形式化了安全性--不是关注单个实例的安全性,而是分析整个系统。这拓宽了方法,允许分析第二道防线。来自Bellare et的示例应用程序。艾尔[1]是密码加盐的常见做法的正式安全证明。公开盐渍不会影响对手恢复单个密码的优势,但会极大地影响恢复所有密码的优势。Bellare et.艾尔正式提出了一个多实例案例的不可微概念来证明这一点。通过在对安全概念没有更全面的理解的情况下构建系统(这些框架允许我们这样做),我们冒着错过简单的安全改进(如加盐)的风险。现代攻击场景可能需要在多实例环境中对重复的、内存硬的散列进行预处理的字典。未来的场景可能会涉及基于量子的攻击,能够在(平方根)n时间内搜索n个长度的列表[2]。未来验证基于密码的密码系统将涉及到考虑这些情况的结合。目的本项目的目的是在基于密码的密码学背景下的可证明安全性理论与基于密码的新协议在野外使用的实例之间架起桥梁。这意味着三个目标,可以线性接近:-对基于密码的密码学的当前格局进行研究。这意味着调查现实生活中密码的生成和分布,以便根据经验结果建立模型。使用正式的安全分析评估模型的界限。-考虑内存硬、经过预处理的场景-为多实例情况构建严格的安全界限。-将界限推向在量子攻击者案件中保持舒适的水平,其中试图维护安全的各方是非量子的。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

其他文献

吉治仁志 他: "トランスジェニックマウスによるTIMP-1の線維化促進機序"最新医学. 55. 1781-1787 (2000)
Hitoshi Yoshiji 等:“转基因小鼠中 TIMP-1 的促纤维化机制”现代医学 55. 1781-1787 (2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
LiDAR Implementations for Autonomous Vehicle Applications
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
生命分子工学・海洋生命工学研究室
生物分子工程/海洋生物技术实验室
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
吉治仁志 他: "イラスト医学&サイエンスシリーズ血管の分子医学"羊土社(渋谷正史編). 125 (2000)
Hitoshi Yoshiji 等人:“血管医学与科学系列分子医学图解”Yodosha(涉谷正志编辑)125(2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Effect of manidipine hydrochloride,a calcium antagonist,on isoproterenol-induced left ventricular hypertrophy: "Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,K.,Teragaki,M.,Iwao,H.and Yoshikawa,J." Jpn Circ J. 62(1). 47-52 (1998)
钙拮抗剂盐酸马尼地平对异丙肾上腺素引起的左心室肥厚的影响:“Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:

的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('', 18)}}的其他基金

An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
  • 批准号:
    2901954
  • 财政年份:
    2028
  • 资助金额:
    --
  • 项目类别:
    Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
  • 批准号:
    2896097
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
  • 批准号:
    2780268
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
  • 批准号:
    2908918
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
  • 批准号:
    2908693
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
  • 批准号:
    2908917
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
  • 批准号:
    2879438
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
  • 批准号:
    2890513
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
  • 批准号:
    2879865
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
  • 批准号:
    2876993
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship

相似国自然基金

Research on Quantum Field Theory without a Lagrangian Description
  • 批准号:
    24ZR1403900
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
  • 批准号:
    12247163
  • 批准年份:
    2022
  • 资助金额:
    18.00 万元
  • 项目类别:
    专项项目
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    55 万元
  • 项目类别:
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
  • 批准号:
    12126512
  • 批准年份:
    2021
  • 资助金额:
    12.0 万元
  • 项目类别:
    数学天元基金项目
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
  • 批准号:
    61671064
  • 批准年份:
    2016
  • 资助金额:
    65.0 万元
  • 项目类别:
    面上项目

相似海外基金

Bridging the gap between rockfall theory and engineering practice
弥合落石理论与工程实践之间的差距
  • 批准号:
    IE230100410
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Early Career Industry Fellowships
EU Foreign and Security Policy through the Lens of Practice Theory: bridging the gap between policy rhetoric and field-reality in the study of the EU
实践理论视角下的欧盟外交与安全政策:弥合欧盟研究中政策言辞与现实之间的差距
  • 批准号:
    2751276
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Studentship
Bridging the gap between theory and practice for distributed graph algorithms
弥合分布式图算法理论与实践之间的差距
  • 批准号:
    21KK0204
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Fund for the Promotion of Joint International Research (Fostering Joint International Research (A))
Scientific machine learning: bridging the gap between theory and practice in deep learning for computational science and engineering applications
科学机器学习:弥合计算科学和工程应用深度学习理论与实践之间的差距
  • 批准号:
    RGPIN-2021-02470
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Scientific machine learning: bridging the gap between theory and practice in deep learning for computational science and engineering applications
科学机器学习:弥合计算科学和工程应用深度学习理论与实践之间的差距
  • 批准号:
    RGPIN-2021-02470
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Compressed sensing and related areas: bridging theory with practice
压缩传感及相关领域:理论与实践的桥梁
  • 批准号:
    RGPIN-2017-03845
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
EAGER: GOALI: Bridging the Theory-Practice Divide in Multimedia Compression
EAGER:GOALI:弥合多媒体压缩的理论与实践鸿沟
  • 批准号:
    2008266
  • 财政年份:
    2020
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Compressed sensing and related areas: bridging theory with practice
压缩传感及相关领域:理论与实践的桥梁
  • 批准号:
    RGPIN-2017-03845
  • 财政年份:
    2020
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Compressed sensing and related areas: bridging theory with practice
压缩传感及相关领域:理论与实践的桥梁
  • 批准号:
    RGPIN-2017-03845
  • 财政年份:
    2019
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Compressed sensing and related areas: bridging theory with practice
压缩传感及相关领域:理论与实践的桥梁
  • 批准号:
    RGPIN-2017-03845
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了