Formal modelling and analysis of software requirements for air traffic management systems for improved integrity assurance. This project will significantly reduce the time and cost of developing software for critical applications such as aviation and air traffic management. As well as improving the trustworthiness of safety-critical computer-based systems, this project will also enable system improvements to be deployed faster and more reliably.
Customer Responsive Risk-Managed Network Planning. The aim of this project is to reduce the cost of network delivery of electricity though a reduced network build. The cost of the network is balanced against the cost of reliability of supply. The key developments are optimisation of investment considering batteries etcetera, combined with customer load response and explicit inclusion of the uncertainties of load growth and in the response level of the customer loads. The project combines skills ....Customer Responsive Risk-Managed Network Planning. The aim of this project is to reduce the cost of network delivery of electricity though a reduced network build. The cost of the network is balanced against the cost of reliability of supply. The key developments are optimisation of investment considering batteries etcetera, combined with customer load response and explicit inclusion of the uncertainties of load growth and in the response level of the customer loads. The project combines skills of power engineering optimisation, software systems and social science. Most of the demand response programs globally have focused on a pure economic incentive for variation of customer load. This project aims to make use of recent findings on the benefits of combining community engagement with the incentives.Read moreRead less
An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
Defending AI based FinTech Systems against Model Extraction Attacks. This project aims to develop new methods for defending artificial intelligence (AI) based FinTech systems from highly potent and insidious model extraction attacks whereby an adversary can steal the AI model from the system to cause intellectual property (IP) violation, business advantage disruption, and financial loss. This can be achieved by examining various attack models, creating active and utility-preserving defences, and ....Defending AI based FinTech Systems against Model Extraction Attacks. This project aims to develop new methods for defending artificial intelligence (AI) based FinTech systems from highly potent and insidious model extraction attacks whereby an adversary can steal the AI model from the system to cause intellectual property (IP) violation, business advantage disruption, and financial loss. This can be achieved by examining various attack models, creating active and utility-preserving defences, and inventing non-removable watermarks on AI models. The outcomes are new tools for securing AI-based FinTech systems before deployment and tools for IP violation forensics post-deployment. Such capabilities are beneficial by improving the security and safety of FinTech systems and other nationally critical AI systems.Read moreRead less
Next-generation genomic resources to tackle parasitic diseases of animals. The revolution in genomics provides unprecedented opportunities to tackle destructive parasitic diseases affecting billions of animals worldwide. Through a synergy of leading-edge technologies and a strong partnership with BGI International, this project aims to deliver major conceptual advances in the understanding of parasitism; an unparalleled skills-base in genomics and bioinformatics; innovative new molecular technol ....Next-generation genomic resources to tackle parasitic diseases of animals. The revolution in genomics provides unprecedented opportunities to tackle destructive parasitic diseases affecting billions of animals worldwide. Through a synergy of leading-edge technologies and a strong partnership with BGI International, this project aims to deliver major conceptual advances in the understanding of parasitism; an unparalleled skills-base in genomics and bioinformatics; innovative new molecular technologies; and new treatments and diagnostic tests as biotechnological outcomes. This leap forward in Australia will substantially enhance the global profile of parasitology research, training and employment opportunities for early career scientists, and improve access to international research funding and networks. Read moreRead less
Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and ....Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and techniques. The expected outcomes include novel software, verified by industry partners in real world case studies, ranging from life sciences to hypersonic transport. This should provide significant benefits, including the capacity for Australian industries to access world-class supercomputing technology.Read moreRead less
Mathematical and computational models for agrichemical retention on plants. Mathematical and computational models for agrichemical retention on plants. This project aims to build interactive software that simulates agrichemical spraying for multiple virtual plants reconstructed from scanned data. Mathematical modelling and computer simulation could offer an alternative to expensive experimental programs for agrichemical spraying of plants. This project will use contemporary fluid mechanics to bu ....Mathematical and computational models for agrichemical retention on plants. Mathematical and computational models for agrichemical retention on plants. This project aims to build interactive software that simulates agrichemical spraying for multiple virtual plants reconstructed from scanned data. Mathematical modelling and computer simulation could offer an alternative to expensive experimental programs for agrichemical spraying of plants. This project will use contemporary fluid mechanics to build practical mathematical models for droplet impaction, spreading and evaporation on leaf surfaces, and experimentally calibrate and validate the models. The software is expected to drive the development of agrichemical products that increase retention, minimise environmental impacts, and reduce costs for end-users.Read moreRead less
An active approach to detect and defend against peer-to-peer botnets. The aim of this project is to develop an effective defence system to help organisations detect and defend against the peer-to-peer (P2P) botnets. If this research is accomplished successfully, it will be a big step forward in defeating this new but devastating malicious software widely utilised by Internet criminals and terrorists. The capability of a nation to defend against the P2P botnet attacks on its information infrastru ....An active approach to detect and defend against peer-to-peer botnets. The aim of this project is to develop an effective defence system to help organisations detect and defend against the peer-to-peer (P2P) botnets. If this research is accomplished successfully, it will be a big step forward in defeating this new but devastating malicious software widely utilised by Internet criminals and terrorists. The capability of a nation to defend against the P2P botnet attacks on its information infrastructure is central to the control of such attacks and hence to a nation's long-term survival and prosperity. The outcomes of this project can be directly used in Australian research communities and adopted by industry and government agencies.Read moreRead less
Software debuggers for next generation heterogeneous supercomputers. Supercomputing underpins a wide range of areas of importance to the Australian economy; mining, agriculture, engineering and medical research to name a few. It is of critical importance that software solutions in these areas behave correctly. This project will develop software tools and techniques to help locate errors in such applications.
Empowering Australia’s Visual Arts via Creative Blockchain Opportunities. This project investigates the provision of a blockchain-based solution for protecting the intellectual property and provenance of visual art, and ways to empower its economic, cultural, and social value and benefits. By exploring innovative non-fungible token (NFT) opportunities in a global cyber security context, we will co-design a user-friendly and compliant tool for expanding the creation and movement of art on existin ....Empowering Australia’s Visual Arts via Creative Blockchain Opportunities. This project investigates the provision of a blockchain-based solution for protecting the intellectual property and provenance of visual art, and ways to empower its economic, cultural, and social value and benefits. By exploring innovative non-fungible token (NFT) opportunities in a global cyber security context, we will co-design a user-friendly and compliant tool for expanding the creation and movement of art on existing virtual galleries and smart contract-enabled platforms. Building on interdisciplinary synergies between creative and IT practices, we will interrogate the efficacy, risks and governance surrounding this global technology, and produce vital new knowledge for engaging with risks and opportunities in the digital economy.Read moreRead less