Research Grant
[Cite as https://purl.org/au-research/grants/arc/DP110103473]Researchers: Prof Mingsheng Ying (Chief Investigator) , Yuan Feng (Chief Investigator) , A/Prof Rajagopal Nagarajan (Partner Investigator)
Brief description Process algebra approach to distributed quantum computation and secure quantum communication. This project will develop effective methods for reasoning about the behaviours of distributed quantum computing and communicating systems. The developed methods will provide effective techniques for verifying security of quantum cryptographic protocols.
Funding Amount $300,000
Funding Scheme Discovery Projects
- PURL : https://purl.org/au-research/grants/arc/DP110103473
- ARC : DP110103473