Research Grant
[Cite as http://purl.org/au-research/grants/arc/DP160101652]Researchers: Prof Mingsheng Ying (Chief Investigator) , Yuan Feng (Chief Investigator) , Dr Taolue Chen (Partner Investigator) , Prof Dr Lijun Zhang (Partner Investigator)
Brief description Verification of quantum cryptographic protocols: a process algebra approach. 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
- ARC : DP160101652
- PURL : http://purl.org/au-research/grants/arc/DP160101652
