TWC: Small: Better Security for Efficient Secret-Key Cryptography

TWC：小：高效密钥加密的更好安全性

• 批准号: 1423566
• 负责人: Stefano Tessaro
• 金额: $ 49.88万
• 依托单位: University of California-Santa Barbara
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-07-01 至 2018-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1423566&HistoricalAwards=false
• 关键词: TWC; Small; Better; Security; Efficient

Present-day cryptography crucially relies on secret-key cryptography, the setting where communicating parties use a shared secret key, hidden to the attacker, to securely encrypt and/or authenticate data. Secret-key cryptography is based on standardized efficient algorithms known as cryptographic primitives, such as block ciphers and hash functions. These act as building blocks for so-called modes of operations, cryptographic algorithms achieving strong security goals for encryption and authentication, and which are orders of magnitude faster than public-key ones. This project addresses the two shortcomings of current symmetric key cryptography, namely the lack of provable security for existing block ciphers and the lack of flexibility due to fixed parameters in existing implementations of primitives. The project develops new provably secure ciphers with strong security guarantees under the assumption that an attacker only has black box access to a simple underlying component. The investigator explores a new formal model that captures tradeoffs between local computation and key-dependent access in cryptographic attacks, and develops new modes of operation with improved security under this new viewpoint. The project will have broad impact on society by laying the foundations for the development of secret key cryptography which is used to secure modern communications and commerce.

当今的密码学主要依赖于秘密密钥密码学，在这种设置中，通信各方使用对攻击者隐藏的共享秘密密钥来安全地加密和/或验证数据。 密钥加密是基于标准化的高效算法，称为密码原语，如块密码和哈希函数。 这些作为所谓的操作模式的构建块，加密算法实现加密和认证的强大安全目标，并且比公钥快几个数量级。该项目解决了当前对称密钥加密的两个缺点，即现有分组密码缺乏可证明的安全性和由于现有原语实现中的固定参数而缺乏灵活性。 该项目开发了新的可证明安全的密码，在假设攻击者只有黑盒访问一个简单的底层组件的情况下，具有强大的安全保证。研究人员探索了一种新的形式化模型，该模型捕获了加密攻击中本地计算和密钥依赖访问之间的权衡，并在此新观点下开发了具有更高安全性的新操作模式。该项目将对社会产生广泛的影响，为用于确保现代通信和商业安全的密钥加密技术的发展奠定基础。