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
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
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
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
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
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
Global wavefront propagation and non-elliptic Fredholm theory. Many significant phenomena in the natural world are described by partial differential equations that involve evolution in time. This project aims to develop new mathematical methods, involving recently discovered global wavefront set analysis and Fredholm theory, to solve such equations. These methods aim to extend the range of equations that can be solved as well as yield more information about solutions, in particular, their long-t ....Global wavefront propagation and non-elliptic Fredholm theory. Many significant phenomena in the natural world are described by partial differential equations that involve evolution in time. This project aims to develop new mathematical methods, involving recently discovered global wavefront set analysis and Fredholm theory, to solve such equations. These methods aim to extend the range of equations that can be solved as well as yield more information about solutions, in particular, their long-time asymptotics.Read moreRead less
Moduli, invariants, and algebraisation. This project is in pure mathematics. It aims to address gaps in our
knowledge in the modern geometries and their associated algebraic structures that arise in classification problems that pervade mathematics and its applications.
This project expects to generate new knowledge in modern algebra and geometry.
Expected outcomes of this project include major progress in our
understanding of invariants of derived categories of algebraic stacks and the
relat ....Moduli, invariants, and algebraisation. This project is in pure mathematics. It aims to address gaps in our
knowledge in the modern geometries and their associated algebraic structures that arise in classification problems that pervade mathematics and its applications.
This project expects to generate new knowledge in modern algebra and geometry.
Expected outcomes of this project include major progress in our
understanding of invariants of derived categories of algebraic stacks and the
relationship between algebraic and other geometries.
The benefit will be to enhance the international stature of Australian science.Read moreRead less
Hypergraph models for complex discrete systems. This project aims to better understand the structure and properties of very large hypergraphs of various kinds. Hypergraphs are very general mathematical objects which can be used to model complex discrete systems. They arise naturally in many areas such as ecology, chemistry and computer science. Despite this, our theoretical understanding of very large, or random, hypergraphs lags far behind the intensely-studied special case of graphs. This proj ....Hypergraph models for complex discrete systems. This project aims to better understand the structure and properties of very large hypergraphs of various kinds. Hypergraphs are very general mathematical objects which can be used to model complex discrete systems. They arise naturally in many areas such as ecology, chemistry and computer science. Despite this, our theoretical understanding of very large, or random, hypergraphs lags far behind the intensely-studied special case of graphs. This project will answer many fundamental questions about large, random hypergraphs. The expected outcomes of the project also include new tools for working with hypergraphs, such as efficient algorithms for sampling hypergraphs. These outcomes will benefit researchers who use hypergraphs in their work and will enhance Australia's reputation for research in this area.Read moreRead less
Design of Real-time Optimisation Methods with Guaranteed Performance. The project aim is the development of a framework for the advancement of optimisation algorithms operating in real-time applications. This project expects to generate new knowledge in the area of systems theory and optimisation, and its application to time-varying problems. Expected outcomes of this project should lead to a new theoretical and practical framework that aims to ameliorate the shortcomings of the existing approac ....Design of Real-time Optimisation Methods with Guaranteed Performance. The project aim is the development of a framework for the advancement of optimisation algorithms operating in real-time applications. This project expects to generate new knowledge in the area of systems theory and optimisation, and its application to time-varying problems. Expected outcomes of this project should lead to a new theoretical and practical framework that aims to ameliorate the shortcomings of the existing approaches that struggle to rapidly respond to new information. This should provide significant benefits. Specifically, this project aims to facilitate a technological leap that generates smaller, faster, and more powerful embedded systems such as broadband services, mobile phones, medical imagining, radar and avionics.Read moreRead less