Context-aware verification and validation framework for autonomous driving. This project aims to enhance the reliability and safety of emerging self-driving vehicles, through a framework that supports the validation and verification of autonomous driving systems. This project expects to generate new knowledge in areas of software engineering, intelligent transport, and machine learning, using a multi-disciplinary research combining expertise from various fields. Expected outcomes of this project ....Context-aware verification and validation framework for autonomous driving. This project aims to enhance the reliability and safety of emerging self-driving vehicles, through a framework that supports the validation and verification of autonomous driving systems. This project expects to generate new knowledge in areas of software engineering, intelligent transport, and machine learning, using a multi-disciplinary research combining expertise from various fields. Expected outcomes of this project are a family of new context-aware techniques to verify and validate complex behaviours in autonomous driving. This should provide significant benefits, such as safe autonomous driving systems and the improved journey experience and security for road users.Read moreRead less
Exploiting the Symmetry of Spatial Awareness for 21st Century Automation. This project aims to enable autonomous robotic systems to operate more robustly and more reliably in the complex, cluttered and dynamic environments found in real-world applications. Applying the latest understanding of symmetry in non-linear systems and control provides tools that can be used to develop new design methodologies for spatial awareness algorithms. The outcomes of this project should increase Australia's ca ....Exploiting the Symmetry of Spatial Awareness for 21st Century Automation. This project aims to enable autonomous robotic systems to operate more robustly and more reliably in the complex, cluttered and dynamic environments found in real-world applications. Applying the latest understanding of symmetry in non-linear systems and control provides tools that can be used to develop new design methodologies for spatial awareness algorithms. The outcomes of this project should increase Australia's capacity in high-tech systems and deliver world best open source code for spatial awareness problems to enable the next generation of automation in Australia.Read moreRead less
Robust Coherent Control Engineering for Quantum Systems and Networks. This project aims to develop new methods for the design of robust coherent controllers for emerging applications to quantum systems and networks. Using robust controllers which are themselves quantum systems, tools from the theory of optimal risk sensitive control aim to enable technological systems to be designed with high levels of performance in the face of unavoidable uncertainties due to imperfect fabrication and interact ....Robust Coherent Control Engineering for Quantum Systems and Networks. This project aims to develop new methods for the design of robust coherent controllers for emerging applications to quantum systems and networks. Using robust controllers which are themselves quantum systems, tools from the theory of optimal risk sensitive control aim to enable technological systems to be designed with high levels of performance in the face of unavoidable uncertainties due to imperfect fabrication and interactions with the environment. The research aims to yield systematic control engineering methods to combat the effects of quantum decoherence which is critical in order to make quantum technologies such as quantum computing truly practical. Applications include computing, secure communications, sensing and simulationsRead moreRead less
Optimisation methods for coherent quantum signal estimation and filtering. The project aims to develop an innovative systems theory and optimisation methods to enhance the design of components for next-generation quantum communication networks. It will advance new theoretical knowledge and efficient algorithms that can be applied to make networks more efficient and less costly. New technologies set to emerge within the next decade including specialised quantum processors and transformative cyber ....Optimisation methods for coherent quantum signal estimation and filtering. The project aims to develop an innovative systems theory and optimisation methods to enhance the design of components for next-generation quantum communication networks. It will advance new theoretical knowledge and efficient algorithms that can be applied to make networks more efficient and less costly. New technologies set to emerge within the next decade including specialised quantum processors and transformative cyber security systems will require ultra-fast networks, and the project will contribute significantly to advancing these technologies. This will benefit the Australia's economy and reinforce Australia's leadership in the quantum technological revolution through innovative engineering approaches.Read moreRead less
3D Diffusion Models for Generating and Understanding 3D Scenes. Diffusion models, such as DALL-E2 and Imagen, have achieved remarkable success in generating photorealistic images and hold promise to solve long-standing computer vision problems. However, 3D scene generation remains unexplored. This research project aims to bridge the gap by developing 3D diffusion models capable of generating complete 3D scenes. This will advance our theoretical understanding of diffusion in complex 3D environmen ....3D Diffusion Models for Generating and Understanding 3D Scenes. Diffusion models, such as DALL-E2 and Imagen, have achieved remarkable success in generating photorealistic images and hold promise to solve long-standing computer vision problems. However, 3D scene generation remains unexplored. This research project aims to bridge the gap by developing 3D diffusion models capable of generating complete 3D scenes. This will advance our theoretical understanding of diffusion in complex 3D environments and open up new possibilities for applications in fields such as virtual reality, architecture, and city planning. The proposed 3D diffusion models will also enhance the accuracy of computer vision tasks related to 3D scene understanding, such as object detection, tracking, and semantic segmentation.Read moreRead less
MemberGuard: Protecting Machine Learning Privacy from Membership Inference. Machine Learning has become a core part of many real-world applications. However, machine learning models are vulnerable to membership inference attacks. In these attacks, an adversary can infer if a given data record has been part of the model's training data. In this project, the team aims to develop new techniques that can be used to counter these attacks, such as 1) new analytical models for membership leakage, 2) ne ....MemberGuard: Protecting Machine Learning Privacy from Membership Inference. Machine Learning has become a core part of many real-world applications. However, machine learning models are vulnerable to membership inference attacks. In these attacks, an adversary can infer if a given data record has been part of the model's training data. In this project, the team aims to develop new techniques that can be used to counter these attacks, such as 1) new analytical models for membership leakage, 2) new methods for susceptibility diagnosis, 3) new defences that leverage privacy and utility. Data-oriented services are estimated to be valuable assets in the future. These techniques can help Australia gain cutting edge advantage in machine learning security and privacy and protect its intellectual property on these services.Read moreRead less
Scalable & Accountable Privacy-Preserving Blockchain with Enhanced Security. This project aims to address the scalability and accountability of privacy-preserving blockchain by advancing cryptographic techniques. This project expects to develop scalable protocols for privacy-preserving blockchain while also adding accountability for authority to trace cyber crime activities, which is a missing piece in any state-of-the-art public blockchain system. Expected outcomes of this project include not o ....Scalable & Accountable Privacy-Preserving Blockchain with Enhanced Security. This project aims to address the scalability and accountability of privacy-preserving blockchain by advancing cryptographic techniques. This project expects to develop scalable protocols for privacy-preserving blockchain while also adding accountability for authority to trace cyber crime activities, which is a missing piece in any state-of-the-art public blockchain system. Expected outcomes of this project include not only practical solutions for protecting sensitive data recorded in blockchain but also crucial techniques to make the blockchain accountable for practical applications with enhanced security. This project provides significant benefits, such as building a trusted environment for sensitive transactions in the digital economy.Read moreRead less
Preventing sensitive data exfiltration from insiders . Confidential data such as military secrets or intellectual property must never be disclosed outside the organisation; formally protecting data exfiltration from insider attacks is a major challenge. This project aims to develop a pattern matching based systematic methodology for data exfiltration in database systems. We will devise highly accurate detection tools and secure provenance techniques that can effectively protect against insider a ....Preventing sensitive data exfiltration from insiders . Confidential data such as military secrets or intellectual property must never be disclosed outside the organisation; formally protecting data exfiltration from insider attacks is a major challenge. This project aims to develop a pattern matching based systematic methodology for data exfiltration in database systems. We will devise highly accurate detection tools and secure provenance techniques that can effectively protect against insider attacks. The outcomes of the project will incorporate new security constraints and policies raised by emerging technologies to enable better protection of sensitive information. Read moreRead less
Subsurface Atomic Force Microscopy using Dual Probes. The proposal aims to develop a new microscopy method for imaging nano-scale structures buried below the surface of a sample; for example, metal conductors in a computer processor chip. The expected outcome is a new method for creating subsurface images with an application focus on semiconductor device inspection and quality control. The proposed microscope is expected to create new economic opportunities including new commercial products, int ....Subsurface Atomic Force Microscopy using Dual Probes. The proposal aims to develop a new microscopy method for imaging nano-scale structures buried below the surface of a sample; for example, metal conductors in a computer processor chip. The expected outcome is a new method for creating subsurface images with an application focus on semiconductor device inspection and quality control. The proposed microscope is expected to create new economic opportunities including new commercial products, intellectual property, and the potential for a start-up venture. The benefits to Australia should include the creation of new job opportunities and the development of local expertise in a high-value market sector.Read moreRead less
Mapping the Effectiveness of Automated Software Testing. This project aims to help software engineers build complex software systems in far more reliable and cost-effective ways. It takes an interdisciplinary approach by applying machine learning techniques to automatically test complex software systems. Expected outcomes include a novel methodology for assessing the strengths and weaknesses of test suites generated by automated software testing techniques and the approaches required for generat ....Mapping the Effectiveness of Automated Software Testing. This project aims to help software engineers build complex software systems in far more reliable and cost-effective ways. It takes an interdisciplinary approach by applying machine learning techniques to automatically test complex software systems. Expected outcomes include a novel methodology for assessing the strengths and weaknesses of test suites generated by automated software testing techniques and the approaches required for generating high-quality test cases. Such advances are urgently needed to avoid disasters when deploying software systems in the real world.Read moreRead less