ARC Future Fellowships - Grant ID: FT220100046

Funding Activity

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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

Funded Activity Details

Start Date: 30-03-2023

End Date: 29-03-2027

Funding Scheme: ARC Future Fellowships

Funding Amount: $884,889.00

Funder: Australian Research Council