Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will un ....Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will unify these two approaches for the first time by formally specifying and animating the very models used in cryptographic proofs. The result will be proofs that are uniquely accessible to practioners combined with increased confidence that the proofs are both correct and relevant.Read moreRead less
Space-Time Block Codes using Orthogonal, Amicable, and General Designs. Space-time coding for multiple transmit and multiple receive antennas is the enabling technology for future wireless communication systems. Multiple antennas provide independent transmission paths resulting in an increased channel capacity without requiring costly additional bandwidth. Space-time block codes lead to the simplest receiver structures and thus to the most economical solutions. The currently known codes are base ....Space-Time Block Codes using Orthogonal, Amicable, and General Designs. Space-time coding for multiple transmit and multiple receive antennas is the enabling technology for future wireless communication systems. Multiple antennas provide independent transmission paths resulting in an increased channel capacity without requiring costly additional bandwidth. Space-time block codes lead to the simplest receiver structures and thus to the most economical solutions. The currently known codes are based on the work of one of the CIs, but so far only a small part of that work has been utilised. We aim to fully exploit the potential of this theory and move the performance of wireless systems towards their theoretical limits.Read moreRead less
Diversity Improvements in Ultra-Wide Band Communications. The proposed project will facilitate development of new frontier technologies that will most likely form the basis for future optimal usage of bandwidth. It will strengthen Australia's role in the advancement of communication technology for the future. Through involvement in the project, the PhD, Masters, and Honours graduates will acquire knowledge and the skills in widely applicable advanced mathematical theory and methods for the analy ....Diversity Improvements in Ultra-Wide Band Communications. The proposed project will facilitate development of new frontier technologies that will most likely form the basis for future optimal usage of bandwidth. It will strengthen Australia's role in the advancement of communication technology for the future. Through involvement in the project, the PhD, Masters, and Honours graduates will acquire knowledge and the skills in widely applicable advanced mathematical theory and methods for the analysis and design of communication systems. The project will also serve to build new international links and extend existing ones through active involvement of overseas researchers.Read moreRead less