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
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
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
Empowering Australia’s Visual Arts via Creative Blockchain Opportunities. This project investigates the provision of a blockchain-based solution for protecting the intellectual property and provenance of visual art, and ways to empower its economic, cultural, and social value and benefits. By exploring innovative non-fungible token (NFT) opportunities in a global cyber security context, we will co-design a user-friendly and compliant tool for expanding the creation and movement of art on existin ....Empowering Australia’s Visual Arts via Creative Blockchain Opportunities. This project investigates the provision of a blockchain-based solution for protecting the intellectual property and provenance of visual art, and ways to empower its economic, cultural, and social value and benefits. By exploring innovative non-fungible token (NFT) opportunities in a global cyber security context, we will co-design a user-friendly and compliant tool for expanding the creation and movement of art on existing virtual galleries and smart contract-enabled platforms. Building on interdisciplinary synergies between creative and IT practices, we will interrogate the efficacy, risks and governance surrounding this global technology, and produce vital new knowledge for engaging with risks and opportunities in the digital economy.Read moreRead less
ARC Centre of Excellence for the Mathematical Analysis of Cellular Systems. ARC Centre of Excellence for the Mathematical Analysis of Cellular Systems. The ARC Centre for the Mathematical Analysis of Cellular Systems aims to deliver the mathematics required to compute life. The Centre will deliver innovation in computational and mathematical biology and establish in silico biology alongside in vivo and in vitro biology. These models will allow us to understand the complexity of life at the cellu ....ARC Centre of Excellence for the Mathematical Analysis of Cellular Systems. ARC Centre of Excellence for the Mathematical Analysis of Cellular Systems. The ARC Centre for the Mathematical Analysis of Cellular Systems aims to deliver the mathematics required to compute life. The Centre will deliver innovation in computational and mathematical biology and establish in silico biology alongside in vivo and in vitro biology. These models will allow us to understand the complexity of life at the cellular level and enable new ways of combining diverse and heterogenous data. This will allow us to understand the mechanisms underlying cellular behaviour, and to apply rational design engineering methods in order to control the dynamics of biological systems. Read moreRead less
ARC Centre of Excellence for Plant Success in Nature and Agriculture. The ARC CoE for Plant Success in Nature and Agriculture will discover the adaptive strategies underpinning productivity and resilience in diverse plants and deepen knowledge of the genetic and physiological networks driving key traits. Using novel quantitative and computational approaches, the Centre will link gene networks with traits across biological levels, giving breeders an unparalleled predictive capacity. The Centre wi ....ARC Centre of Excellence for Plant Success in Nature and Agriculture. The ARC CoE for Plant Success in Nature and Agriculture will discover the adaptive strategies underpinning productivity and resilience in diverse plants and deepen knowledge of the genetic and physiological networks driving key traits. Using novel quantitative and computational approaches, the Centre will link gene networks with traits across biological levels, giving breeders an unparalleled predictive capacity. The Centre will accelerate technologies to transfer successful networks into crops and build legal frameworks to secure this knowledge. With a uniquely multidisciplinary team, the Centre will deliver new strategies to address the problems of food security and climate change, establishing Australia as a global leader in these areas.Read moreRead less