TWC: Option: Medium: Collaborative: Authenticated Ciphers
TWC: Option: Medium: Collaborative: Authenticated Ciphers
批准号:
1314919
负责人:
Daniel Bernstein
金额:
$25.9万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-10-01 至 2018-09-30
中文摘要
OpenSSH显示加密登录会话的摘录。TLS (HTTPS)显示加密的PayPal帐户cookie。DTLS也好不到哪里去。EAXprime允许瞬时伪造。RFID安全性一次又一次被打破。所有这些机密性和完整性的失败都是身份验证密码的失败:承诺使用共享密钥对消息进行加密和身份验证的算法。很容易将这些安全问题归咎于缺乏教育:许多年来,文献中已经出现了更强的经过身份验证的密码。然而,在许多情况下,这些更强的身份验证密码不能满足应用程序的性能要求。性能正是WEP中RC4的动机;大力发展“智能电网”;RFID中的HB;“IPsec”继续支持未经身份验证的加密。该项目正在构建新一代经过身份验证的密码,在不牺牲安全性的情况下提高效率,在不牺牲效率的情况下提高安全性。这项工作涵盖七个主要主题:更有效的密码;更高效的mac;更有效的防伪;加强对侧通道的保护;加强对滥用和厄运的保护;提高数量安全性;改进了安全证明。最终目标是在加密用户指定的各种性能约束下获得尽可能好的安全性。本课题所产生的高安全性高性能认证密码将直接、直观地应用于密码学应用,避免了目前应用中的种种弊端,最终使安全的密钥密码学从理论走向实践。
英文摘要
OpenSSH reveals excerpts from encrypted login sessions. TLS (HTTPS) reveals encrypted PayPal account cookies. DTLS is no better. EAXprime allows instantaneous forgeries. RFID security has been broken again and again. All of these failures of confidentiality and integrity are failures of authenticated ciphers: algorithms that promise to encrypt and authenticate messages using a shared secret key.It is easy to blame many of these security problems on a lack of education: much stronger authenticated ciphers have been in the literature for many years. However, in many cases these stronger authenticated ciphers fail to meet the performance requirements of the applications. Performance is exactly the motivation for RC4 in WEP; EAXprime in the "Smart Grid"; HB in RFID; and "IPsec" continuing to support unauthenticated encryption.This project is building a new generation of authenticated ciphers that improve efficiency without compromising security and that improve security without compromising efficiency. This work spans seven main topics: more efficient ciphers; more efficient MACs; more efficient forgery rejection; improved protection against side channels; improved protection against misuse and bad luck; improved quantitative security; and improved security proofs. The ultimate objective is to obtain the best possible security subject to a variety of performance constraints specified by cryptographic users.The high-security high-performance authenticated ciphers produced in this project will be directly and straightforwardly usable in cryptographic applications, avoiding the disasters in current applications and finally bringing secure secret-key cryptography from theory to practice.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: EAGER-QIA: High-Genus Code-Based Cryptography
-
批准号:2037867
-
项目类别:Standard Grant
-
资助金额:$9.75万
-
财政年份:2020
-
负责人:Daniel Bernstein
-
依托单位:
Collaborative Research: Short Vectors in Lattices
-
批准号:1913167
-
项目类别:Standard Grant
-
资助金额:$14.47万
-
财政年份:2019
-
负责人:Daniel Bernstein
-
依托单位:
PostDoctoral Research Fellowship
-
批准号:1802902
-
项目类别:Fellowship Award
-
资助金额:$15.0万
-
财政年份:2018
-
负责人:Daniel Bernstein
-
依托单位:
Workshop on Elliptic Curves and Computation
-
批准号:1057551
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2010
-
负责人:Daniel Bernstein
-
依托单位:
TC: Small: Higher-Speed Cryptography
-
批准号:1018836
-
项目类别:Standard Grant
-
资助金额:$43.62万
-
财政年份:2010
-
负责人:Daniel Bernstein
-
依托单位:
CT-ISG: High-Speed Cryptography
-
批准号:0716498
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2007
-
负责人:Daniel Bernstein
-
依托单位:
Algorithmic Problems in Number Theory
-
批准号:0140542
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Daniel Bernstein
-
依托单位:
CAREER: Computational number theory, cryptography, and computer security
-
批准号:9983950
-
项目类别:Continuing Grant
-
资助金额:$24.29万
-
财政年份:2000
-
负责人:Daniel Bernstein
-
依托单位:
Algorithmic Problems in Number Theory
-
批准号:9970409
-
项目类别:Continuing Grant
-
资助金额:$7.0万
-
财政年份:1999
-
负责人:Daniel Bernstein
-
依托单位:
Algorithmic Problems in Number Theory
-
批准号:9600083
-
项目类别:Standard Grant
-
资助金额:$5.9万
-
财政年份:1996
-
负责人:Daniel Bernstein
-
依托单位:
国内基金
海外基金
Vessel co-option介导贝伐单抗治疗结直肠癌肝转移耐药的机制及克服策略研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:52万元
-
批准年份:2022
-
负责人:陈敏锋
-
依托单位: