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
Special Research Initiatives - Grant ID: SR0567393
Funder
Australian Research Council
Funding Amount
$100,000.00
Summary
Infrastructure for large-scale data resource sharing between research institutions – an environmental case study. The project creates a federated distributed data infrastructure for research, that encourages data creators to make their data available to other scientists, and encourages users to make use of data available from many sources. The vision is to establish an ICT infrastructure to facilitate a whole-of-environment approach to environmental research. The outcome is a proof-of-concept ....Infrastructure for large-scale data resource sharing between research institutions – an environmental case study. The project creates a federated distributed data infrastructure for research, that encourages data creators to make their data available to other scientists, and encourages users to make use of data available from many sources. The vision is to establish an ICT infrastructure to facilitate a whole-of-environment approach to environmental research. The outcome is a proof-of-concept application based upon a case study of Queensland Environmental Protection Agency’s databases, to gain an in-depth understanding of the complexity, scope and key technological barriers for establishing an ICT infrastructure, to identify where the latest technologies can be used and where the gaps are for these technologies to be used in environmental sciences.Read moreRead less
Rigorous Privacy Compliance in Modern Application Ecosystems. Modern network applications such as mobile applications and browser extensions have become the primary gateways for consumers to access the Internet in today’s digital landscape. This project aims to address privacy issues in these ecosystems by developing a new privacy-compliance assessment framework. The framework will evaluate the current privacy practices of application ecosystems, enabling users and developers in Australia and wo ....Rigorous Privacy Compliance in Modern Application Ecosystems. Modern network applications such as mobile applications and browser extensions have become the primary gateways for consumers to access the Internet in today’s digital landscape. This project aims to address privacy issues in these ecosystems by developing a new privacy-compliance assessment framework. The framework will evaluate the current privacy practices of application ecosystems, enabling users and developers in Australia and worldwide to reliably identify potential privacy risks and issues on their applications. The intended outcomes should endow data controllers with the capability of evidencing their compliance of data protection legislations such as Australia Privacy Act 1988 and EU General Data Protection Regulation (GDPR).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
Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress ....Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress in a feasible time frame. In three dimensions this project will strengthen the distinguished computational topology community in Melbourne, led by pioneers such as Rubinstein, Goodman, Hodgson as well as the applicant himself.Read moreRead less
Understanding the impact of enterprise system use on system performance. To optimise organizational benefits, resource intensive enterprise systems must be appropriately used by all user cohorts. This study investigates the impact of system-use on system success. System-use patterns derived for all key user cohorts across the lifecycle phases will create management matrices to assist organizations maximise system-use.
Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary geneti ....Simulating viral evolution and genetic complexity. This project has direct relevance to understanding the growth of viral infections, and therefore has possible practical applications in disease research and control. Examples of these are emerging diseases in humans such as those caused by HIV-1, SARS coronavirus and Dengue virus, which cause considerable human suffering throughout the world. A major part of current research into these diseases involves attempts to model the evolutionary genetics and dynamics of virus populations in order to understand how to control epidemics, develop vaccines and design drugs. The research program is designed to provide new computational modelling tools for this purpose, which may have wider applications as well.
Read moreRead less
New Developments for Bayesian statistical models and computational methods. Bayesian methods of statistical analysis provide a flexible theory for addressing inference in the presence of uncertainty. Consequently Bayesian methods have enabled scientific discovery in areas characterised as complex systems where new developments in modelling and computational methods have been crucial. Significant barriers to further success involve challenges in formulating and validating models, dealing with l ....New Developments for Bayesian statistical models and computational methods. Bayesian methods of statistical analysis provide a flexible theory for addressing inference in the presence of uncertainty. Consequently Bayesian methods have enabled scientific discovery in areas characterised as complex systems where new developments in modelling and computational methods have been crucial. Significant barriers to further success involve challenges in formulating and validating models, dealing with large data sets, and developing efficient computational methods. The principal aim of this project is to develop new Bayesian modelling and computational methodology which address these challenges with broad application.Read moreRead less
Design of a Reference Methodology for Extended Enterprise Architecture. Enterprises have nowadays a very critical perception of the actual benefits of Information Technology (IT). Significant investments in IT infrastructures have been made. However, in many cases no monetary benefits could be demonstrated. Enterprises Architectures provide a way to link the business and the IT perspective. This project aims to develop an operational methodology with a solid theoretical foundation for the design ....Design of a Reference Methodology for Extended Enterprise Architecture. Enterprises have nowadays a very critical perception of the actual benefits of Information Technology (IT). Significant investments in IT infrastructures have been made. However, in many cases no monetary benefits could be demonstrated. Enterprises Architectures provide a way to link the business and the IT perspective. This project aims to develop an operational methodology with a solid theoretical foundation for the design of such Enterprise Architectures. The outcomes and the innovation of this project are an extension of the popular Zachman Framework. Integrated modelling techniques proposed within the Architecture of Integrated Information Systems will be used to populate this framework.Read moreRead less