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.
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
Industrial Transformation Research Hubs - Grant ID: IH170100013
Funder
Australian Research Council
Funding Amount
$2,962,655.00
Summary
ARC Research Hub for Digital Enhanced Living. The ARC Research Hub for Digital Enhanced Living aims to address the growing challenges of aging people living in their own home or residential care. This will be through inventing new personalised medical technologies through an innovative approach, with a multi-disciplinary team leveraging diverse expertise. An enhanced capacity to create and deploy fit-for-purpose personalised health solutions will result in revenues from new and repurposed device ....ARC Research Hub for Digital Enhanced Living. The ARC Research Hub for Digital Enhanced Living aims to address the growing challenges of aging people living in their own home or residential care. This will be through inventing new personalised medical technologies through an innovative approach, with a multi-disciplinary team leveraging diverse expertise. An enhanced capacity to create and deploy fit-for-purpose personalised health solutions will result in revenues from new and repurposed devices, analytics and integration platforms. New jobs and improved care will see cost reductions, better use of resources and enhanced mental, physical and social well-being.Read moreRead less
Embedding Enterprise Systems in IoT Fog Networks through Microservices. The project will enable automated re-engineering of enterprise systems, to allow them to reused in Internet-of-Things (IoT) applications. It will support efficient ways in which the core business logic of these large scale and monolithic systems can be extended into resource control and data sensing functions managed through the IoT. The project will develop a novel, fine-grained software architecture style suitable for loca ....Embedding Enterprise Systems in IoT Fog Networks through Microservices. The project will enable automated re-engineering of enterprise systems, to allow them to reused in Internet-of-Things (IoT) applications. It will support efficient ways in which the core business logic of these large scale and monolithic systems can be extended into resource control and data sensing functions managed through the IoT. The project will develop a novel, fine-grained software architecture style suitable for localised IoT execution, through microservices executing autonomously on nodes of IoT fog networks. It will develop new techniques for automated discovery of microservices from enterprise systems and the verification of future-state system execution based on current-state behavioural and other properties such as security.Read moreRead less
Data analytics-based tools and methods to enhance self-regulated learning. This project aims to develop student self-regulated learning skills by harnessing the potential of Big Data analytics. The project expects to generate new knowledge at the intersection of learning analytics, educational technology, learning sciences and teaching practice resulting from novel data collection and analysis tools and methods. The outputs are expected to include insights into metacognitive, motivational, and t ....Data analytics-based tools and methods to enhance self-regulated learning. This project aims to develop student self-regulated learning skills by harnessing the potential of Big Data analytics. The project expects to generate new knowledge at the intersection of learning analytics, educational technology, learning sciences and teaching practice resulting from novel data collection and analysis tools and methods. The outputs are expected to include insights into metacognitive, motivational, and technical issues facing analytics-based personalised feedback. The outcomes are intended to offer benefits for developing pedagogical and the design of educational technology. The outcomes can result in improved student learning outcomes in higher education to ensure graduates are prepared for the digital economy.Read moreRead less
Innovations in Demographic Modelling for Government Analysis and Planning. This project aims to create innovative and cutting-edge demographic models to better meet the needs of practitioners and researchers. Together with the partner organisations, Commonwealth Treasury and the Australian Bureau of Statistics, it will focus on creating more accurate and fit-for-purpose forecasting methods for Australian fertility, mortality, and migration, including a policy scenario model to produce population ....Innovations in Demographic Modelling for Government Analysis and Planning. This project aims to create innovative and cutting-edge demographic models to better meet the needs of practitioners and researchers. Together with the partner organisations, Commonwealth Treasury and the Australian Bureau of Statistics, it will focus on creating more accurate and fit-for-purpose forecasting methods for Australian fertility, mortality, and migration, including a policy scenario model to produce population projections by visa/citizenship category and Australians overseas. Expected outcomes of this project include improved forecasting methods reported in open-access papers, user-friendly forecasting software and tools for the partner organisations, and a stronger relationship between researchers and practitioners.Read moreRead less
Re-engineering enterprise systems for microservices in the cloud. This project will enable automatic re-engineering of large enterprise applications to run in modern cloud environments as microservices. Microservices are the latest wave of service-based software, capable of exploiting the high performance and third-party integration opportunities made available through the cloud. The project will develop new techniques for analysing enterprise systems code and execution data, and making recommen ....Re-engineering enterprise systems for microservices in the cloud. This project will enable automatic re-engineering of large enterprise applications to run in modern cloud environments as microservices. Microservices are the latest wave of service-based software, capable of exploiting the high performance and third-party integration opportunities made available through the cloud. The project will develop new techniques for analysing enterprise systems code and execution data, and making recommendations for restructuring suitable parts as microservices. These microservices manage individual business objects via sets of lightweight distributed computational operations. The outcomes will support progressive evolution of an enterprise system, into distributed microservices running in public clouds, while still being integrated with "backend" systems.Read moreRead less
Controlling ultracold atomic gases. This project will develop ways to control the quantum state of ultracold atomic gases. These experimentally accessible systems will be used to investigate and understand a huge range of scientific phenomena from stars to superconductors, and enable critical quantum technologies that will revolutionise communications and precision measurement.
Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unit ....Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unites geometric techniques with powerful methods from operations research, such as linear and discrete optimisation, to build fast, powerful tools that can for the first time systematically solve large topological problems. Theoretically, this project has significant impact on the famous open problem of detecting knottedness in fast polynomial time.Read moreRead less
An integrative and distributed data management and workflow framework for e-research in biomedical imaging. This project will develop new tools for neuroimaging research: (i) efficient distributed infrastructure and workflow capabilities and (ii) semantic tools using existing ontological frameworks and specific neuroimaging ontologies.
These new capabilities will significantly enhance the productivity of neuroimaging research.