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
Fault detection and identification in nonlinear complex systems. Complex systems usually comprise a large number of inter-dependent subsystems linked together to perform a certain task. Examples of such systems are power systems, irrigation systems, air traffic control systems, to name a few. Such systems are subject to component failure or malfunction. Total failure can cause an unacceptable financial losses and/or danger to personnel. It is therefore extremely essential, from economic and safe ....Fault detection and identification in nonlinear complex systems. Complex systems usually comprise a large number of inter-dependent subsystems linked together to perform a certain task. Examples of such systems are power systems, irrigation systems, air traffic control systems, to name a few. Such systems are subject to component failure or malfunction. Total failure can cause an unacceptable financial losses and/or danger to personnel. It is therefore extremely essential, from economic and safety view points, that a way be found to ensure reliable and viable operation of complex plants. A first step in achieving this goal is to detect faults on-line and in real-time when they occur and identify their location and characteristics, which is the aim of this project.Read moreRead less
What learning is there in learning control? This project seeks to establish a meaningful definition and quantifiable measure of learning in the context of adaptive or learning control. The project is designed within the context of human motor skill learning, and assesses the speed of learning and the quality of learning (reflected by the accuracy of the motor task execution). The project plans to use measures to provide a mathematically precise meaning for the notion of learning. The outcome has ....What learning is there in learning control? This project seeks to establish a meaningful definition and quantifiable measure of learning in the context of adaptive or learning control. The project is designed within the context of human motor skill learning, and assesses the speed of learning and the quality of learning (reflected by the accuracy of the motor task execution). The project plans to use measures to provide a mathematically precise meaning for the notion of learning. The outcome has the potential to be applied to the design of technology-assisted training of motor skills, from the recovery of lost motor skills after trauma to the development of elite athletes.Read moreRead less
Feedback entropy in dynamical systems. This project aims to use the fundamental concept of entropy to help evaluate the decision-making effort in a variety of feedback control systems in science and engineering. This understanding will help develop smarter technologies and algorithms in areas such as manufacturing, vehicular technology and automated irrigation.
Efficient computational methods for worst-case analysis and optimal control of nonlinear dynamical systems. Natural and technological systems can exhibit extremely complicated behaviour in worst-case scenarios. This project will develop efficient mathematical and computational tools that will enable this behaviour to be understood and controlled.
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
Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – w ....Domain-specific visual languages for big data analytics applications. This project aims to invent domain-specific visual languages and support model-driven engineering based infrastructure so domain experts can specify, generate and apply complex data analytics and visualisation techniques. Many domains, including intelligent transport, business intelligence, and population health, need more effective “big data” analytics and visualisation. A challenge is to combine detailed domain knowledge – what the data means and what it can be used for – with sophisticated, scalable computational techniques to mine and present information from the huge volumes of raw data. This project is expected to improve productivity and quality of big data analytics and visualisation in critical domains.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
Metamorphic slices and their applications in fault localization. The main purpose of this project is to enhance the quality of software. The expected outcomes include the delivery of new cost-effective methods to debug software, and the extension of current debugging methods to be applicable in wider contexts.