Discovery Projects - Grant ID: DP160101652

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP160101652

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 01-01-2016

End Date: 31-12-2020

Funding Scheme: Discovery Projects

Funding Amount: $360,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Computational Logic and Formal Languages | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Information and Computing Sciences | Information and Communication Services not elsewhere classified |

Other Keywords

Computation Theory and Mathematics | Computational Logic and Formal Languages | Expanding Knowledge in the Information and Computing Sciences | Information and Communication Services not elsewhere classified

Related Links