Provably Secure Cryptography Techniques: Effective, Elegant, and Economic

可证明安全的密码技术：有效、优雅且经济

• 批准号: FT220100046
• 负责人: A/Prof Fuchun Guo
• 金额: $ 61.68万
• 依托单位: University of Wollongong
• 依托单位国家: 澳大利亚
• 项目类别: ARC Future Fellowships
• 财政年份: 2023
• 资助国家: 澳大利亚
• 起止时间: 2023-03-30 至 2027-03-29
• 项目状态: 未结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/FT220100046
• 关键词: Provably; Secure; Cryptography; Techniques; Effective

This project aims to contribute to advanced knowledge and techniques to remove relaxed proof factors from provable security. Cryptography nowadays can be proven secure and must be provably secure before being adopted for data protection. Until today, most cryptography schemes are still using some relaxed proof factors to prove security, but using these relaxed factors was risky. The expected outcomes are proof methodologies for researchers to prove security in an easy way (effective), cryptography techniques for proving security without any relaxed proof factors for cryptography schemes (elegant), and more practical cryptography schemes with elegant proofs to enable Australians to receive benefit from secure data protection (economic).

该项目旨在为先进的知识和技术做出贡献，以消除可证明安全性中的宽松证明因素。 如今，加密技术可以被证明是安全的，并且在被用于数据保护之前必须是可证明安全的。直到今天，大多数密码方案仍然使用一些宽松的证明因子来证明安全性，但使用这些宽松的证明因子是有风险的。预期的结果是证明方法，研究人员以简单的方式证明安全性（有效），证明安全性的加密技术，而无需任何宽松的加密方案证明因素（优雅），以及更实用的加密方案，具有优雅的证明，使澳大利亚人能够从安全的数据保护中受益（经济）。