Process algebra approach to distributed quantum computation and secure quantum communication [ 2011 - 2013 ]

Research Grant

[Cite as]

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

Click to explore relationships graph
Viewed: [[ro.stat.viewed]]