Learning Software Security Analysers with Imperfect Data. This project aims to systematically investigate next-generation learning-based software security analysis to detect vulnerabilities in real-world large-scale software. The expected learning-based foundation will support the handling of imperfect data in order to provide a precise, scalable and adaptive security analysis of the critical software components, thus capturing important security vulnerabilities missed by existing approaches. Th ....Learning Software Security Analysers with Imperfect Data. This project aims to systematically investigate next-generation learning-based software security analysis to detect vulnerabilities in real-world large-scale software. The expected learning-based foundation will support the handling of imperfect data in order to provide a precise, scalable and adaptive security analysis of the critical software components, thus capturing important security vulnerabilities missed by existing approaches. The success of this project will further enhance the international competitiveness of Australian research in this important field and will benefit any Australian industry and business where software systems are deeply-rooted, such as transportation, smart homes, medical devices, defence and finance.Read moreRead less
Learning to Pinpoint Emerging Software Vulnerabilities. This project aims to develop learning-based software vulnerability detection techniques to improve the reliability and security of modern software systems. The existing techniques relying on conventional yet rigid software analysis and testing techniques are ineffective and/or inefficient when detecting a wide variety of emerging software vulnerabilities. The outcomes of this project will be a deep-learning-based detection approach and an ....Learning to Pinpoint Emerging Software Vulnerabilities. This project aims to develop learning-based software vulnerability detection techniques to improve the reliability and security of modern software systems. The existing techniques relying on conventional yet rigid software analysis and testing techniques are ineffective and/or inefficient when detecting a wide variety of emerging software vulnerabilities. The outcomes of this project will be a deep-learning-based detection approach and an open-source tool that can capture precision correlations between deep code features and diverse vulnerabilities to pinpoint emerging vulnerabilities without the need for bug specifications. Significant benefits include greatly improved quality, reliability and security for modern software systems.Read moreRead less
Secure and Resistant Blockchain for Financial and Business Applications. The aim of this project is to develop a practical secure blockchain technology for the booming applications in finance and business. This project expects to address the leading security threats to the current blockchain applications. The expected outcome is an executable secure and resistant blockchain prototype through the integration of the latest developed and customized techniques. The success of the project will dramat ....Secure and Resistant Blockchain for Financial and Business Applications. The aim of this project is to develop a practical secure blockchain technology for the booming applications in finance and business. This project expects to address the leading security threats to the current blockchain applications. The expected outcome is an executable secure and resistant blockchain prototype through the integration of the latest developed and customized techniques. The success of the project will dramatically benefit Australian people and government, especially for the Australian ICT industry for commercializing the research outputs. 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
Developing A Smart Farming Oriented Secure Data Infrastructure. Smart farming is the future of agriculture. However, recently the Federal Bureau of Investigation has issued a
warning that the lack of data privacy and cyber security mechanisms in the field runs a high risk of disaster. This
project aims to establish an innovative secure data infrastructure for smart farming including secure and automated smart farming supply-chain management. The deliverables of this project will include the cutt ....Developing A Smart Farming Oriented Secure Data Infrastructure. Smart farming is the future of agriculture. However, recently the Federal Bureau of Investigation has issued a
warning that the lack of data privacy and cyber security mechanisms in the field runs a high risk of disaster. This
project aims to establish an innovative secure data infrastructure for smart farming including secure and automated smart farming supply-chain management. The deliverables of this project will include the cutting-edge Blockchain based secure IoT data management and privacy-preserving smart contracts for smart farming supply-chain management. This data infrastructure will be the first of its kind which will lay a solid foundation for smart farming technology.Read moreRead less
New methods in spectral geometry. This project aims to use methods from mathematical scattering theory to resolve problems in the spectral analysis and index theory of differential operators. Both areas underpin the theoretical understanding of physical materials at micro length scales where quantum phenomena dominate. The project will develop new mathematical results in spectral analysis and geometry, and apply its results to theoretical models of quantum phenomena whose spectral properties are ....New methods in spectral geometry. This project aims to use methods from mathematical scattering theory to resolve problems in the spectral analysis and index theory of differential operators. Both areas underpin the theoretical understanding of physical materials at micro length scales where quantum phenomena dominate. The project will develop new mathematical results in spectral analysis and geometry, and apply its results to theoretical models of quantum phenomena whose spectral properties are at the limit of the range of mathematical techniques. Solving these problems is expected to influence non-commutative analysis.Read moreRead less
Singularity and regularity for Monge-Ampere type equations. The Monge-Ampere equation, as a premier nonlinear partial differential equation, arises in several areas including geometry, physics, and optimal transportation. Many important problems and applications are related to the regularity of solutions, which are obstructed by singularities. This project aims to classify the geometry of the singular sets, and to establish a comprehensive regularity theory for general Monge-Ampere type equation ....Singularity and regularity for Monge-Ampere type equations. The Monge-Ampere equation, as a premier nonlinear partial differential equation, arises in several areas including geometry, physics, and optimal transportation. Many important problems and applications are related to the regularity of solutions, which are obstructed by singularities. This project aims to classify the geometry of the singular sets, and to establish a comprehensive regularity theory for general Monge-Ampere type equations by using innovative approaches and developing cutting-edge technologies in partial differential equations. Expected outcomes include the resolution of outstanding open problems. This project will significantly enhance Australia’s leadership and expertise in a major area of mathematics and applications.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
Physical realisation of enriched quantum symmetries. This project aims to investigate fundamental mathematical structures in modern category theory, providing an algebraic description of physical systems including topological order and conformal field theory. The project will study quantum symmetry, and classify and construct new classes of conformal field theories, using novel tools from enriched category theory, modular forms, and lattice gauge theory.
The main goal is to understand the lands ....Physical realisation of enriched quantum symmetries. This project aims to investigate fundamental mathematical structures in modern category theory, providing an algebraic description of physical systems including topological order and conformal field theory. The project will study quantum symmetry, and classify and construct new classes of conformal field theories, using novel tools from enriched category theory, modular forms, and lattice gauge theory.
The main goal is to understand the landscape of topological and conformal field theories, laying the foundation for new technologies based on topological order. This timely project capitalises on the recent arrival of subfactor experts in Australia, and builds capacity in mathematical research and international links in a cutting edge field.Read moreRead less