[Cite as http://purl.org/au-research/grants/arc/DP160101652]
Researchers Prof Mingsheng Ying; Prof Yuan Feng; Prof Dr Lijun Zhang; Dr Taolue Chen
Brief description Security analysis of quantum cryptographic systems is notoriously difficult. This project aims to develop theoretic foundations and algorithms, as well as efficient software tools, to verify quantum cryptographic protocols by innovatively bridging two research fields: quantum cryptography and quantum process algebra. The pioneering research may provide innovative, game-changing security technologies for banks, business, finance, security industry, police, and counter-terrorism both within Australia and globally.
Funding Amount $360,000
Funding Scheme Discovery Projects