SaTC: CORE: Small: Foundations of Applied Cryptography

SaTC:核心:小:应用密码学的基础

基本信息

  • 批准号:
    1717640
  • 负责人:
  • 金额:
    $ 32.65万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2017
  • 资助国家:
    美国
  • 起止时间:
    2017-10-01 至 2021-09-30
  • 项目状态:
    已结题

项目摘要

Currently, on an almost weekly basis there are reports on security breaches which expose private information such as passwords or credit card numbers to cyber criminals. In order to address this problem, this project develops theoretical foundations and cryptographic approaches, and analyzes these new mechanisms. This project focuses on three areas of great practical interest: (1) the recovery of a cryptographic key by an adversary; (2) delegatable format-preserving encryption which, for example, allows the in-place encryption of credit-card numbers while limiting the damage in case of a compromise, and (3) user authentication on the Internet. The broader impact of this work is in that the team will develop a software library PlayCrypt with the goal to make cryptography more accessible to a larger population. Key-recovery attacks discussed in the literature lack precise models and rigorous estimates of success probability. To address this shortcoming, this project defines metrics for key-recovery security in order to enable rigorous claims about attacks and to be able to prove hedging theorems that complement moderately good security bounds under strong metrics with better bounds under these newly-developed key-recovery metrics. This is of great interest and value as key-recovery attacks are considered much more damaging in practice than violations of semantic security. Furthermore, this project defines security metrics for delegatable format-preserving encryption (FPE). FPE is widely used for in-place encryption of credit-card numbers, and delegation allows the damage from physical compromise of terminals to remain local. The project is also geared to inform current standardization efforts. As a third direction, this project considers client-to-server authentication over the Internet. Today's paradigm of passing the password to the server over a server-authenticated TLS (Transport Layer Security) channel exhibits many vulnerabilities. This project formalizes the notion of piggy-backed authentication which allows the client to convince the server of its identity without handing it its password yet designing this mechanism in such a fashion that allows its implementation within the current TLS-based web-security architecture in order to maximize the impact of this work in practice.
目前,几乎每周都有关于安全漏洞的报告,这些漏洞将密码或信用卡号码等私人信息暴露给网络犯罪分子。为了解决这个问题,本项目开发了理论基础和加密方法,并分析了这些新机制。该项目侧重于三个具有重大实际意义的领域:(1)由对手恢复加密密钥;(2)可委托的格式保留加密,例如,允许对信用卡号码进行就地加密,同时限制在妥协情况下的损害;以及(3)互联网上的用户身份验证。这项工作的更广泛的影响在于,该团队将开发一个软件库PlayCrypt,目标是使更多的人更容易使用密码学。文献中讨论的密钥恢复攻击缺乏精确的模型和严格的成功概率估计。为了解决这一缺点,该项目定义了密钥恢复安全性的指标,以使严格的索赔攻击,并能够证明对冲定理,补充适度良好的安全界限下的强指标,更好的界限下,这些新开发的密钥恢复指标。这是非常有趣和有价值的,因为密钥恢复攻击在实践中被认为比违反语义安全更具破坏性。此外,该项目定义了可委托格式保留加密(FPE)的安全度量。FPE被广泛用于信用卡号码的就地加密,并且委托允许终端的物理危害所造成的损害保持在本地。该项目还旨在为当前的标准化工作提供信息。作为第三个方向,该项目考虑通过Internet进行客户端到服务器的身份验证。目前,通过服务器认证的TLS(传输层安全)通道将密码传递给服务器的模式存在许多漏洞。这个项目正式的概念,背驮式身份验证,允许客户端说服服务器的身份,而不交给它的密码,但设计这种机制,使其实现在当前的TLS为基础的网络安全架构,以最大限度地发挥这项工作在实践中的影响。

项目成果

期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
The Local Forking Lemma and Its Application to Deterministic Encryption
局部分叉引理及其在确定性加密中的应用
  • DOI:
    10.1007/978-3-030-34618-8_21
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Mihir Bellare, Wei Dai
  • 通讯作者:
    Mihir Bellare, Wei Dai
Reimagining Secret Sharing: Creating a Safer and More Versatile Primitive by Adding Authenticity, Correcting Errors, and Reducing Randomness Requirements
重新构想秘密共享:通过添加真实性、纠正错误和减少随机性要求来创建更安全、更通用的原语
Dual-Mode NIZKs: Possibility and Impossibility Results for Property Transfer
  • DOI:
    10.1007/978-3-030-65277-7_38
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    3.8
  • 作者:
    Vivek Arte;M. Bellare
  • 通讯作者:
    Vivek Arte;M. Bellare
Public-Key Encryption Resistant to Parameter Subversion and its Realization from Efficiently-Embeddable Groups
  • DOI:
    10.1007/978-3-319-76578-5_12
  • 发表时间:
    2018-03
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Benedikt Auerbach;M. Bellare;Eike Kiltz
  • 通讯作者:
    Benedikt Auerbach;M. Bellare;Eike Kiltz
Incremental Cryptography Revisited: PRFs, Nonces and Modular Design.
增量密码学重温:PRF、随机数和模块化设计。
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Arte, Vivek;Bellare, Mihir;Khati, Louiza
  • 通讯作者:
    Khati, Louiza
{{ 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 }}

Mihir Bellare其他文献

Symmetric and Dual PRFs from Standard Assumptions: A Generic Validation of a Prevailing Assumption
  • DOI:
    10.1007/s00145-024-09513-6
  • 发表时间:
    2024-08-19
  • 期刊:
  • 影响因子:
    2.200
  • 作者:
    Mihir Bellare;Anna Lysyanskaya
  • 通讯作者:
    Anna Lysyanskaya
Systèmes et procédés pour distribuer et sécuriser des données
分销商和受赠者安全系统和程序
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Mihir Bellare;Phillip Rogaway
  • 通讯作者:
    Phillip Rogaway

Mihir Bellare的其他文献

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

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

SaTC: CORE: Small: Practice-Driven Cryptographic Theory
SaTC:核心:小型:实践驱动的密码理论
  • 批准号:
    2154272
  • 财政年份:
    2022
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
TWC: Small: Subversion-Resistant Cryptography
TWC:小型:抗颠覆密码学
  • 批准号:
    1526801
  • 财政年份:
    2015
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
TWC: Medium: Collaborative: Deconstructing Encryption
TWC:媒介:协作:解构加密
  • 批准号:
    1228890
  • 财政年份:
    2012
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
TC: Small: A Cryptographic Treatment of the Wiretap Channel
TC:小:窃听通道的加密处理
  • 批准号:
    1116800
  • 财政年份:
    2011
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
TC:Small: Systems-Sensitive Cryptography
TC:Small:系统敏感密码学
  • 批准号:
    0915675
  • 财政年份:
    2009
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
CT-ISG: Cryptography for Computational Grids
CT-ISG:计算网格密码学
  • 批准号:
    0627779
  • 财政年份:
    2006
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
CT-ISG: Practice-Oriented Provable-Security for Emerging Cryptographic Applications
CT-ISG:新兴密码应用程序的面向实践的可证明安全性
  • 批准号:
    0524765
  • 财政年份:
    2005
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
Cryptographic Mechanisms for Internet Security
互联网安全的加密机制
  • 批准号:
    0129617
  • 财政年份:
    2002
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
Design and Analysis of Cryptographic Protocols for Secure Communication
安全通信密码协议的设计与分析
  • 批准号:
    0098123
  • 财政年份:
    2001
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
Career: Cryptography, Proof Checking and Approximation
职业:密码学、证明检查和近似
  • 批准号:
    9624439
  • 财政年份:
    1996
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Continuing Grant

相似国自然基金

胆固醇羟化酶CH25H非酶活依赖性促进乙型肝炎病毒蛋白Core及Pre-core降解的分子机制研究
  • 批准号:
    82371765
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
锕系元素5f-in-core的GTH赝势和基组的开发
  • 批准号:
    22303037
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于合成致死策略搭建Core-matched前药共组装体克服肿瘤耐药的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    52 万元
  • 项目类别:
鼠伤寒沙门氏菌LPS core经由CD209/SphK1促进树突状细胞迁移加重炎症性肠病的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
肌营养不良蛋白聚糖Core M3型甘露糖肽的精确制备及功能探索
  • 批准号:
    92053110
  • 批准年份:
    2020
  • 资助金额:
    70.0 万元
  • 项目类别:
    重大研究计划
Core-1-O型聚糖黏蛋白缺陷诱导胃炎发生并介导慢性胃炎向胃癌转化的分子机制研究
  • 批准号:
    81902805
  • 批准年份:
    2019
  • 资助金额:
    20.5 万元
  • 项目类别:
    青年科学基金项目
原始地球增生晚期的Core-merging大碰撞事件:地核增生、核幔平衡与核幔边界结构的新认识
  • 批准号:
    41973063
  • 批准年份:
    2019
  • 资助金额:
    65.0 万元
  • 项目类别:
    面上项目
CORDEX-CORE区域气候模拟与预估研讨会
  • 批准号:
    41981240365
  • 批准年份:
    2019
  • 资助金额:
    1.5 万元
  • 项目类别:
    国际(地区)合作与交流项目
RBM38通过协助Pol-ε结合、招募core调控HBV复制
  • 批准号:
    31900138
  • 批准年份:
    2019
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

SaTC: CORE: Small: An evaluation framework and methodology to streamline Hardware Performance Counters as the next-generation malware detection system
SaTC:核心:小型:简化硬件性能计数器作为下一代恶意软件检测系统的评估框架和方法
  • 批准号:
    2327427
  • 财政年份:
    2024
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338301
  • 财政年份:
    2024
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338302
  • 财政年份:
    2024
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Small: NSF-DST: Understanding Network Structure and Communication for Supporting Information Authenticity
SaTC:核心:小型:NSF-DST:了解支持信息真实性的网络结构和通信
  • 批准号:
    2343387
  • 财政年份:
    2024
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
NSF-NSERC: SaTC: CORE: Small: Managing Risks of AI-generated Code in the Software Supply Chain
NSF-NSERC:SaTC:核心:小型:管理软件供应链中人工智能生成代码的风险
  • 批准号:
    2341206
  • 财政年份:
    2024
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Towards Secure and Trustworthy Tree Models
协作研究:SaTC:核心:小型:迈向安全可信的树模型
  • 批准号:
    2413046
  • 财政年份:
    2024
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Socio-Technical Approaches for Securing Cyber-Physical Systems from False Claim Attacks
SaTC:核心:小型:保护网络物理系统免受虚假声明攻击的社会技术方法
  • 批准号:
    2310470
  • 财政年份:
    2023
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Study, Detection and Containment of Influence Campaigns
SaTC:核心:小型:影响力活动的研究、检测和遏制
  • 批准号:
    2321649
  • 财政年份:
    2023
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Investigation of Naming Space Hijacking Threat and Its Defense
协作研究:SaTC:核心:小型:命名空间劫持威胁及其防御的调查
  • 批准号:
    2317830
  • 财政年份:
    2023
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Continuing Grant
Collaborative Research: SaTC: CORE: Small: Towards a Privacy-Preserving Framework for Research on Private, Encrypted Social Networks
协作研究:SaTC:核心:小型:针对私有加密社交网络研究的隐私保护框架
  • 批准号:
    2318843
  • 财政年份:
    2023
  • 资助金额:
    $ 32.65万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了