Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while pres ....Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while preserving the data privacy. These tools should provide significant benefits to the privacy of cloud users, as well as financial and reputation benefits to the IT industry, by significantly reducing the likelihood of massive user data privacy breaches in the event of a cyber-hacking attack on the cloud server.Read moreRead less
DeepHoney: Automatic Honey Data Generation for Active Cyber Defence . This project aims to enhance the security of networks and information systems by empowering them with intelligent deception techniques to achieve proactive attack detection and defence. In recent times, the fictitious environment – honeypot designed by human experience becomes popular to attract attackers and capture their interactions. However, rules-based construction of honeypots fails in preserving the privacy, boosting th ....DeepHoney: Automatic Honey Data Generation for Active Cyber Defence . This project aims to enhance the security of networks and information systems by empowering them with intelligent deception techniques to achieve proactive attack detection and defence. In recent times, the fictitious environment – honeypot designed by human experience becomes popular to attract attackers and capture their interactions. However, rules-based construction of honeypots fails in preserving the privacy, boosting the attractiveness and evolving the system. The project expects to advance deep learning and yield novel DeepHoney technologies with associated publications and open-source software. This should benefit science, society, and the economy by building the next generation of active cyber defence systems. Read moreRead less
Housing energy efficiency transitions. This project aims to provide an analysis of housing retrofit and its links with household energy costs. It includes householders across eight global urban sites, as well as the businesses that supply retrofit services. The project will analyse the retrofit experience of both energy poor and other households, providing an internationally significant evidence base. Outcomes include a robust empirical evidence base on the implications of retrofit for househol ....Housing energy efficiency transitions. This project aims to provide an analysis of housing retrofit and its links with household energy costs. It includes householders across eight global urban sites, as well as the businesses that supply retrofit services. The project will analyse the retrofit experience of both energy poor and other households, providing an internationally significant evidence base. Outcomes include a robust empirical evidence base on the implications of retrofit for households to tailor actions that will shape the lives of residents in Australian households.Read moreRead less
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Exploiting Geometries of Learning for Fast, Adaptive and Robust AI. This project aims to uniquely exploit geometric manifolds in deep learning to advance the frontier of Artificial Intelligence (AI) research and applications in cybersecurity and general cognitive tasks. It expects to develop new theories, algorithms, tools, and technologies for machine learning systems that are fast, adaptive, lifelong and robust, even with limited supervision. Expected outcomes will enhance Australia's capabili ....Exploiting Geometries of Learning for Fast, Adaptive and Robust AI. This project aims to uniquely exploit geometric manifolds in deep learning to advance the frontier of Artificial Intelligence (AI) research and applications in cybersecurity and general cognitive tasks. It expects to develop new theories, algorithms, tools, and technologies for machine learning systems that are fast, adaptive, lifelong and robust, even with limited supervision. Expected outcomes will enhance Australia's capability and competitiveness in AI, and deliver robust and trustworthy learning technology. The project should provide significant benefits not only in advancing scientific and translational knowledge but also in accelerating AI innovations, safeguarding cyberspace, and reducing the burden on defence expenses in Australia.Read moreRead less
Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less
Evolution of Proterozoic multistage rift basins – key to mineral systems. This project will deliver a new quantitative and integrated exploratory framework for the mineral industry in Australia’s frontier sedimentary basins by integrating the latest advances in laboratory experimental tectonics with thermo-mechanical numerical, surface process and geophysical modelling. The project will use northern Australian basins as a natural laboratory to address the fundamental processes involved in the de ....Evolution of Proterozoic multistage rift basins – key to mineral systems. This project will deliver a new quantitative and integrated exploratory framework for the mineral industry in Australia’s frontier sedimentary basins by integrating the latest advances in laboratory experimental tectonics with thermo-mechanical numerical, surface process and geophysical modelling. The project will use northern Australian basins as a natural laboratory to address the fundamental processes involved in the development of sedimentary ore systems. The project will investigate how they can be detected by modern exploration techniques using a multidisciplinary approach with a team of experts with backgrounds in mineral and petroleum systems. Read moreRead less
SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the infor ....SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the information and contracts needed by IoT applications to discover, integrate, pay, and use sensors provided by another parties. These IoT advancements will provide significant economic, environmental, and social benefits via making low-cost and immediate sensing available across the world.Read moreRead less
Nowcasting and Interpreting the Australian Economy. This project aims to investigate methods for nowcasting and interpreting the Australian economy. This is determining the current state of the economy and the factors contributing to it.
This project expects to generate new knowledge on how unconventional, new, data sources and innovative methods can be used to in nowcasting and how the Australian economy can be modelled.
The expected outcomes include timely new indicators of the state of the ec ....Nowcasting and Interpreting the Australian Economy. This project aims to investigate methods for nowcasting and interpreting the Australian economy. This is determining the current state of the economy and the factors contributing to it.
This project expects to generate new knowledge on how unconventional, new, data sources and innovative methods can be used to in nowcasting and how the Australian economy can be modelled.
The expected outcomes include timely new indicators of the state of the economy, and the factors contributing to it. This should provide significant benefits through informing the conduct of Australian macroeconomic policy, as the appropriate policy response depends not only on knowing the current state of the economy but understanding the economic factors underlying it.
Read moreRead less