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.

Description

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). . Scheme: ARC Future Fellowships. Field: 4604 - Cybersecurity and Privacy. Lead: A/Prof Fuchun Guo