ITR/SY(CISE): Cryptography: Examining the Assumptions
ITR/SY(CISE): Cryptography: Examining the Assumptions
批准号:
0113941
负责人:
David Wagner
金额:
$37.49万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2001
资助国家:
美国
项目状态:
已结题
起止时间:
2001-09-15 至 2004-08-31
中文摘要
密码学是构建信息系统的基本构件,随着我们进入全球网络、无处不在的计算设备和电子商务的所谓“信息时代”,我们可以专家地认为,密码学只会随着时间的推移变得更加重要。这项建议旨在通过检验该领域背后的一些隐含假设来推动密码学的最新发展。可证明安全性的诞生对过去20年该领域的进步做出了重大贡献,使我们能够积累强有力的证据--只要攻击者遵守我们的正式威胁模型中指定的规则--正在考虑的密码系统很可能是安全的。然而,有一个问题是,在实践中,攻击者并不总是按规则行事:只要有机会,他们就会很乐意地“作弊”。最近的研究表明,有许多方法可以违反设计者的假设,例如,通过观察模型不允许的计时测量。因此,实用密码设计的目标应该包括找到减少攻击者“作弊”的机会的方法,最好是放松我们的假设,足够扩大我们的模型,以便攻击者的行为不能不被模型所涵盖。这是我们在这个项目中采取的研究议程。我们建议首先研究真实的系统和案例研究,看看这些假设如何在实践中被违反。下一步是建立一套实用的对策,可以用来加强未来的密码系统对这些攻击的攻击。最后,我们将寻求新的理论工具、技术和模型来扩展可证明安全方法论,以考虑这些故障模式。如果我们成功了,这些成果不仅将对密码学的实践做出积极的贡献,而且将对该领域的理论基础做出积极的贡献。
英文摘要
Cryptography is a fundamental building block for building information systems, and as we enter the so-called "information age" of global networks, ubiquitous computing devices, and eletronic commerce, we can expert that cryptography will become only more import with time.This proposal is designed to advance the state of the art in cryptography by examining some of the implicit assumptions that underlie the field. The birth of provable security has contributed significantly to the advances of the field over the past two decades, allowing us to amass strong evidence that-as long as the attacker plays by the rules specified in our formal threat model-the cryptosystem under consideration is likely to be secure. However, one problem is that, in practice, attackers don't always play by the rules: given the opportunity, they will gladly "cheat". Recent research has shown that there are a surprising number of ways to violate the designer's assumptions, for instance by observing timing measurements which the model does not allow for. The goals of practical cryptographic design, then, ought to include finding ways to reduce the opportunity for attackers to "cheat", preferably by relaxing our assumptions and broadening our models enough so that the attacker's behavior cannot help but be covered by the model. This is the research agenda that we take up in this project. We propose first to study real systems and case studies of how these assumptions can be violated in practice. A next step is to build a set of practical countermeasures that can be used to strengthen future cryptosystems against these attacks. Finally, we will seek new theoretical tools, techniques, and models for extending the provable security methodology to take into account these failure modes. If we succeed, these results will make a positive contribution not only to the practice of cryptography but also to the theoretical foundations of the field.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
RCN: An International Network to Assess the Status of Insects
-
批准号:2225092
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2022
-
负责人:David Wagner
-
依托单位:
Collaborative Research: SaTC: CORE: Small: Machine Learning for Cybersecurity: Robustness Against Concept Drift
-
批准号:2154873
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2022
-
负责人:David Wagner
-
依托单位:
REU Site: Summer Undergraduate Program in Engineering Research at Berkeley-Responsible Artificial Intelligence (SUPERB-RAI)
-
批准号:1950668
-
项目类别:Standard Grant
-
资助金额:$32.98万
-
财政年份:2020
-
负责人:David Wagner
-
依托单位:
TWC: Medium: Collaborative: Security and Privacy for Wearable and Continuous Sensing Platforms
-
批准号:1514457
-
项目类别:Standard Grant
-
资助金额:$35.03万
-
财政年份:2015
-
负责人:David Wagner
-
依托单位:
TWC: Small: A Choice Architecture for Mobile Privacy and Security
-
批准号:1318680
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2013
-
负责人:David Wagner
-
依托单位:
TC: Small: Securing Web Software Systems
-
批准号:1018924
-
项目类别:Standard Grant
-
资助金额:$48.0万
-
财政年份:2010
-
负责人:David Wagner
-
依托单位:
CT-T: Collaborative Research: Complex, High-level, Integrated Properties for Security
-
批准号:0716715
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2007
-
负责人:David Wagner
-
依托单位:
Dissertation Research: Systematics and Morphology of Metalmark Moths (Lepidoptera: Choreutidae)
-
批准号:0608399
-
项目类别:Standard Grant
-
资助金额:$1.1万
-
财政年份:2006
-
负责人:David Wagner
-
依托单位:
Collaborative Research: CT-CS: A Center for Correct, Usable, Reliable, Auditable, and Transparent Elections (ACCURATE)
-
批准号:0524745
-
项目类别:Continuing Grant
-
资助金额:$129.56万
-
财政年份:2005
-
负责人:David Wagner
-
依托单位:
Collaborative Research: Type Qualifiers for Software Security
-
批准号:0430585
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:David Wagner
-
依托单位:
CAREER: Security in the Large: Gaining Assurance in Real-World Systems
-
批准号:0093337
-
项目类别:Continuing Grant
-
资助金额:$26.77万
-
财政年份:2001
-
负责人:David Wagner
-
依托单位:
Dissertation Research: Phylogeny and the Evolution of Host Use and Host Specialization in the Endophagous Moth Genus Papaipema (Lepidoptera: Noctuidae)
-
批准号:9423516
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:1995
-
负责人:David Wagner
-
依托单位:
Mean Value Analysis Models of Deflection-Routed Interconnection Networks
-
批准号:9301964
-
项目类别:Standard Grant
-
资助金额:$5.85万
-
财政年份:1993
-
负责人:David Wagner
-
依托单位:
A Simulation/Interactive Video Physics Laboratory
-
批准号:9252332
-
项目类别:Standard Grant
-
资助金额:$1.91万
-
财政年份:1992
-
负责人:David Wagner
-
依托单位:
Hybrid Approaches to Loosely-Synchronized Parallel Discrete-Event Simulation
-
批准号:9010672
-
项目类别:Standard Grant
-
资助金额:$6.0万
-
财政年份:1990
-
负责人:David Wagner
-
依托单位:
Morphology and Cladistic Relationships of North American Gracillariid Genera (Lepidoptera)
-
批准号:9007671
-
项目类别:Standard Grant
-
资助金额:$6.57万
-
财政年份:1990
-
负责人:David Wagner
-
依托单位:
Mathematical Sciences: Research in Nonlinear Partial Differential Equations and Bifurcation Theory
-
批准号:8601917
-
项目类别:Standard Grant
-
资助金额:$1.7万
-
财政年份:1986
-
负责人:David Wagner
-
依托单位:
Summer Pre-College Teacher Development Project in History Of Science
-
批准号:7713759
-
项目类别:Standard Grant
-
资助金额:$1.59万
-
财政年份:1977
-
负责人:David Wagner
-
依托单位:
Student Science Training For High Ability Secondary School Students
-
批准号:7505951
-
项目类别:Standard Grant
-
资助金额:$1.94万
-
财政年份:1975
-
负责人:David Wagner
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于Nurr1调节YAP-INF2-线粒体分裂途径探讨龙琥醒脑颗粒在SH-SY5Y细胞氧糖剥夺再灌注诱发的神经元损伤的保护作用研究
-
批准号:2025JJ80982
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:张占伟
-
依托单位:
SY4835通过WEE1/DDR1双靶点抑制胰腺癌的作用及机制
-
批准号:82373136
-
项目类别:面上项目
-
资助金额:48万元
-
批准年份:2023
-
负责人:张晓飞
-
依托单位:
米糠黄酮抑制Aβ诱导的SH-SY5Y细胞中Tau蛋白过度磷酸化的分子机制研究
-
批准号:2022JJ31009
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2022
-
负责人:张琳
-
依托单位:
天目山来源链霉菌Streptomyces sp. SY1322中morindolestatin类新颖咔唑生物碱获取及其铁死亡抑制活性研究
-
批准号:LY21H300001
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2020
-
负责人:马列峰
-
依托单位:
基于MDM2-p53和MDMX-p53蛋白-蛋白相互作用的双重抑制剂SY1108的结构优化及抗肿瘤活性研究
-
批准号:21867013
-
项目类别:地区科学基金项目
-
资助金额:40.0万元
-
批准年份:2018
-
负责人:王亚丽
-
依托单位:
昆虫病原线虫共生菌SY5致死小菜蛾毒素的中肠靶标受体分离与鉴定
-
批准号:31301663
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2013
-
负责人:王欢
-
依托单位:
圆根大戟和甘遂中保护多巴胺所致SH-SY5Y细胞损伤帕金森模型作用和机制研究
-
批准号:81260628
-
项目类别:地区科学基金项目
-
资助金额:49.0万元
-
批准年份:2012
-
负责人:王金辉
-
依托单位:
拟南芥SY1蛋白抑制逆境基因表达的分子机理研究
-
批准号:31270316
-
项目类别:面上项目
-
资助金额:80.0万元
-
批准年份:2012
-
负责人:杨万年
-
依托单位:
刺五加有效组分对转染α-Syn的 SH-SY5Y细胞调控及机制研究
-
批准号:81073019
-
项目类别:面上项目
-
资助金额:32.0万元
-
批准年份:2010
-
负责人:刘树民
-
依托单位:
亚洲含SY基因组披碱草属植物地理分化的分子生物学基础
-
批准号:30270092
-
项目类别:面上项目
-
资助金额:20.0万元
-
批准年份:2002
-
负责人:卢宝荣
-
依托单位: