[Cite as http://purl.org/au-research/grants/arc/DP110103473]
Researchers Ying Prof Mingsheng; Dr Yuan Feng; A/Prof Rajagopal Nagarajan
Brief description 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