Centre for Quantum Computer Technology. Development of a quantum computer (QC) for massively parallel computing is one of the major challenges in science and engineering this century. Since 2000 the Centre has achieved two major breakthroughs in this field: constructing the key functional element of a silicon solid-state QC; and co-inventing a scheme for efficient linear optics QC. The proposed CoE aims to align these two nationally co-ordinated research programs with the world's existing comput ....Centre for Quantum Computer Technology. Development of a quantum computer (QC) for massively parallel computing is one of the major challenges in science and engineering this century. Since 2000 the Centre has achieved two major breakthroughs in this field: constructing the key functional element of a silicon solid-state QC; and co-inventing a scheme for efficient linear optics QC. The proposed CoE aims to align these two nationally co-ordinated research programs with the world's existing computer and IT industries to realise a fault-tolerant multiple qubit quantum processor with integrated control and qubit chips, and develop a scaleable optical quantum processor providing significant economic benefit to Australia.Read moreRead less
Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of saf ....Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of safety analysis and formal methods. In particular, mathematical concepts will be introduced using notations suitable for use by security personnel with no prior formal methods experience. The outcomes of this project will enable more efficient and effective information security evaluations.Read moreRead less