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
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
Reaching new frontiers of quantum fields and gravity through deformations. This project aims to reach new frontiers in quantum field and gravity theories. These underpin systems ranging from semi-conductors to particle collisions and the quantum behavior of black holes. An obstacle is that these theories are notoriously hard to solve. This project proposes to tackle this longstanding problem by using new deformations, symmetries and dualities that have attracted widespread attention. Expected ou ....Reaching new frontiers of quantum fields and gravity through deformations. This project aims to reach new frontiers in quantum field and gravity theories. These underpin systems ranging from semi-conductors to particle collisions and the quantum behavior of black holes. An obstacle is that these theories are notoriously hard to solve. This project proposes to tackle this longstanding problem by using new deformations, symmetries and dualities that have attracted widespread attention. Expected outcomes will include innovative techniques that will greatly enhance and interconnect our knowledge of field theories and quantum gravity, together with new discoveries in quantum-corrected geometries. A new network of domestic and international experts will largely benefit the fields of theoretical and mathematical physics.Read moreRead less
The Ricci curvature of homogeneous spaces. The geometry of homogeneous spaces is an area of research with applications in numerous fields, including topology, harmonic analysis, relativity and quantum theory. This project aims to resolve a fundamental problem in this area, known as the prescribed Ricci curvature problem for homogeneous metrics, and to settle the important and closely related question of Ricci iteration existence and convergence. Moreover, the project aims to exploit the interpla ....The Ricci curvature of homogeneous spaces. The geometry of homogeneous spaces is an area of research with applications in numerous fields, including topology, harmonic analysis, relativity and quantum theory. This project aims to resolve a fundamental problem in this area, known as the prescribed Ricci curvature problem for homogeneous metrics, and to settle the important and closely related question of Ricci iteration existence and convergence. Moreover, the project aims to exploit the interplay between geometry and algebra to provide new insight into the physically significant problem of classifying unitary Lie algebra representations. This project is expected to facilitate interdisciplinary interaction leading to exciting developments across a range of fields.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
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
A new Journey to the Earth's Inner Core: a Planet Within a Planet. This project aims to address critical unsolved problems in global geophysics by probing the structure and dynamics of the inner core, the Earth’s time capsule. It focuses on elucidating the inner core’s nature with the improved tomographic images, critically testing our current understanding of how the inner core is assembled and grows, its thermodynamic state, crystallographic structure, and connection with the Earth’s upper lay ....A new Journey to the Earth's Inner Core: a Planet Within a Planet. This project aims to address critical unsolved problems in global geophysics by probing the structure and dynamics of the inner core, the Earth’s time capsule. It focuses on elucidating the inner core’s nature with the improved tomographic images, critically testing our current understanding of how the inner core is assembled and grows, its thermodynamic state, crystallographic structure, and connection with the Earth’s upper layers and geomagnetic field. Answering these questions can have far-reaching consequences for the current knowledge of fundamental geophysics. Expected benefits include training students and researchers in geophysics and data processing, contributing to a skilled STEM workforce and creating leadership for Australia.Read moreRead less
Optimisation of piezoelectric metamaterials: Towards robotic stress sensors. This project aims to design new piezoelectric material microstructures that can enhance the measurement of complex local stress states within robotic limbs. The project expects to generate new knowledge of the achievable properties of multi-poled piezoelectric materials and develop computational tools for the analysis and structural optimisation of such materials. The designed microstructures may revolutionise piezoelec ....Optimisation of piezoelectric metamaterials: Towards robotic stress sensors. This project aims to design new piezoelectric material microstructures that can enhance the measurement of complex local stress states within robotic limbs. The project expects to generate new knowledge of the achievable properties of multi-poled piezoelectric materials and develop computational tools for the analysis and structural optimisation of such materials. The designed microstructures may revolutionise piezoelectric sensor technology. Expected outcomes include manufactured proof-of-concept sensors that enable measurement of local stress fields. This should provide significant benefits, such as improved future robot capability and reliability, and research training for next-generation Australian computational mathematicians. Read moreRead less
Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.Read moreRead less