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