Provably Secure Cryptography Techniques: Effective, Elegant, and Economic

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

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).