Cryptographic Protocols: Proofs and Designs. Cryptographic protocols are the foundation for protection of the critical electronic communications infrastructure on which much of commerce and industry rely. They will increasingly be required in emerging technologies such as ad-hoc wireless networks and sensor networks. This project will provide the ability to design new and efficient protocols with a mathematical guarantee of security. The resulting practical protocols will benefit all users of el ....Cryptographic Protocols: Proofs and Designs. Cryptographic protocols are the foundation for protection of the critical electronic communications infrastructure on which much of commerce and industry rely. They will increasingly be required in emerging technologies such as ad-hoc wireless networks and sensor networks. This project will provide the ability to design new and efficient protocols with a mathematical guarantee of security. The resulting practical protocols will benefit all users of electronic communications who require security for their information. This includes the financial industries, government, commerce and domestic users.Read moreRead less
Cryptographic Protocols from Pairings: Proofs and Designs. Modern society has become critically dependent on information and communications infrastructures. At the same time, the development of e-commerce is being slowed by lack of confidence in its security. By providing increased assurance and enhanced cryptographic security protocols this research will improve the dependability of the nation's information and communications infrastructure, as well as encourage the growth of e-commerce. Throu ....Cryptographic Protocols from Pairings: Proofs and Designs. Modern society has become critically dependent on information and communications infrastructures. At the same time, the development of e-commerce is being slowed by lack of confidence in its security. By providing increased assurance and enhanced cryptographic security protocols this research will improve the dependability of the nation's information and communications infrastructure, as well as encourage the growth of e-commerce. Through the expertise and experience gained with this project, Australia's excellence in information security research will be reinforced. The training of PhD and Honours students will provide a much needed source of highly trained information security professionals.Read moreRead less
Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace de ....Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace determination to characterise their computational efficiency, accuracy and effectiveness in various data scenarios. The analysis will lead to improved designs for eigenvalue/eigenspace algorithms, as well as design tools to engineer algorithms to specific situations.Read moreRead less
Complexity Constrained Iterative Information Processing. The contribution of Information and Communications Technologies to the National Economy has been widely recognized. ICT enables wealth creation, employment and exports, and underpins many innovation processes. Immediate project benefits will be: Contribution to the knowledge base and fundamental capabilities in high-speed wireless communications networks; Education of future Australian academic and industrial innovators; Raising the inter ....Complexity Constrained Iterative Information Processing. The contribution of Information and Communications Technologies to the National Economy has been widely recognized. ICT enables wealth creation, employment and exports, and underpins many innovation processes. Immediate project benefits will be: Contribution to the knowledge base and fundamental capabilities in high-speed wireless communications networks; Education of future Australian academic and industrial innovators; Raising the international profile of Australian research in the area of information technology. Applied development of the outcomes will lead to the generation of valuable intellectual property. Close links to Australian industry ensures that Australian ICT companies stand to gain commercial advantage.Read moreRead less
Iterative Architechtures for Data Communications. Growing markets for data intensive applications such as real-time video or speech necessitate continual improvements of communications systems. Iterative information processing algorithms have recently received attention for communications equipment design, however theoretical understanding of these methods is still lacking. Within an iterative processing paradigm, the project aim is the optimization of complex communications systems subject to c ....Iterative Architechtures for Data Communications. Growing markets for data intensive applications such as real-time video or speech necessitate continual improvements of communications systems. Iterative information processing algorithms have recently received attention for communications equipment design, however theoretical understanding of these methods is still lacking. Within an iterative processing paradigm, the project aim is the optimization of complex communications systems subject to constraints on computational complexity. Theoretical analysis and design methodologies for such systems will be developed, resulting in basic contributions to statistical science and in cheaper communications infrastructures supporting a wider range of services through better use of limited bandwidth, power and computational complexity.Read moreRead less
Experimental runtime complexity analysis of logic programs. While declarative languages improve programmer productivity, they make it harder for programmers to understand the performance of their code. We will build a tool that will use profiling data and program analysis to allow programmers to predict the running time of their programs.
High dimensional problems of integration and approximation. In many applications, notably financial mathematics, problems of
integration and approximation of functions in very high dimensions
are of great interest. By finding modern mathematical solutions to
these problems, we will therefore contribute to Australia's future
success in developing innovative technologies for industrial and
economic applications. By researching at an internationally
competitive level and by cooperating with i ....High dimensional problems of integration and approximation. In many applications, notably financial mathematics, problems of
integration and approximation of functions in very high dimensions
are of great interest. By finding modern mathematical solutions to
these problems, we will therefore contribute to Australia's future
success in developing innovative technologies for industrial and
economic applications. By researching at an internationally
competitive level and by cooperating with international experts, we
will have a share in further strengthening the excellent role of
Australian research institutions within the international scientific
community in mathematics and scientific computing.Read moreRead less
Fast, practical and effective algorithms for clustering with advice. To maintain a safe and healthy society, government and industry need high quality immunization and national security databases. Since we cannot afford to have duplicate, incomplete and conflicting records that refer to the same person, we unify them by identifying clusters of related records.
In the emerging field of functional genomics, diagnosis of certain diseases is enhanced by determining which genes act together. Diffe ....Fast, practical and effective algorithms for clustering with advice. To maintain a safe and healthy society, government and industry need high quality immunization and national security databases. Since we cannot afford to have duplicate, incomplete and conflicting records that refer to the same person, we unify them by identifying clusters of related records.
In the emerging field of functional genomics, diagnosis of certain diseases is enhanced by determining which genes act together. Different experimental runs might result in different clusterings of genes: we need one consensus clustering that summarizes the experimental outcomes.
Cleaning databases and combining clusterings by hand would require vast amounts of time. This project will result in faster and more accurate computational procedures.Read moreRead less
Visual interaction methods for clustered graphs. This project aims to improve human understanding of huge network data sets, such as those arising in social networks, biological networks, and very large software structures. The project will enable analysts to explore and interact with such data sets, leading to better understanding.
Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe s ....Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe software development. The industry interested in embedded system tools are: Telecom/Datacom, Consumer Electronics, Industrial Automation, Retail Automation, Office Automation, Military/Aerospace, Automotive, Information Automation, Medical Devices.Read moreRead less