Programming Paradigms, Tools and Algorithms for Electronic Structure Calculations on Clusters of Non-Uniform Memory Access Parallel Processors. In recent years Australian academia has invested heavily in high performance computing systems. A significant fraction of these resources are devoted to performing computational chemistry studies, such as those used in drug design. This project links Australian researchers with the company responsible for a particularly widely used computational chemistr ....Programming Paradigms, Tools and Algorithms for Electronic Structure Calculations on Clusters of Non-Uniform Memory Access Parallel Processors. In recent years Australian academia has invested heavily in high performance computing systems. A significant fraction of these resources are devoted to performing computational chemistry studies, such as those used in drug design. This project links Australian researchers with the company responsible for a particularly widely used computational chemistry application package, and also with a major international computer company. Our aim is to substantially improve the performance of this code on cluster based compute systems. This, as well as our generic performance evaluation tools, would be of substantial benefit to the Australian research community. The project will forge links with researchers in Singapore, Japan and the USA.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
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
Programming Paradigms, Tools and Algorithms for the Spectral Solution of the Electronic Schroedinger Equation on Non-Uniform Memory Parallel Processors. We propose to develop software tools and methods that are appropriate for current and future generations of large scale shared memory computer systems. Our purpose is to enable a more productive utilization of these architectures for scientific computation. We will focus on algorithms for solving differential equations appropriate to quantum che ....Programming Paradigms, Tools and Algorithms for the Spectral Solution of the Electronic Schroedinger Equation on Non-Uniform Memory Parallel Processors. We propose to develop software tools and methods that are appropriate for current and future generations of large scale shared memory computer systems. Our purpose is to enable a more productive utilization of these architectures for scientific computation. We will focus on algorithms for solving differential equations appropriate to quantum chemistry. In particular an exciting new class of methods whose computational cost scales linearly with system size. Our goal is to develop scalable parallel implementations of these methods. If realized this will revolutionize computation, enabling first principles calculations on truly nanoscale systems, such as enzymes and molecular electronic devices.Read moreRead less
Fundamental studies of the packing and compaction of fine particles. This project will investigate the fundamentals of the packing and compaction of fine particles at both microscopic and macroscopic levels through a combined theoretical and experimental program. It involves the use of advanced techniques to generate particle scale information, so that a packing and compaction process can be assessed at various time and length scales. It will produce a comprehensive understanding of the underlyi ....Fundamental studies of the packing and compaction of fine particles. This project will investigate the fundamentals of the packing and compaction of fine particles at both microscopic and macroscopic levels through a combined theoretical and experimental program. It involves the use of advanced techniques to generate particle scale information, so that a packing and compaction process can be assessed at various time and length scales. It will produce a comprehensive understanding of the underlying physics, computer models capable of predicting the micromechanic and transport properties of porous media, and an effective means to solve many packing and compaction problems widely encountered in minerals and materials processing industries.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE240100652
Funder
Australian Research Council
Funding Amount
$426,000.00
Summary
Mobilising Litigation to Effect Legal, Policy and Social Change. This project will be the first comprehensive study of movement litigation from an Australian perspective. Using an innovative blend of socio-legal methods, the outcomes include an examination of movement litigation actors and their democratic role, a methodological framework for global scholarship on movement litigation and the first international and comparative study of refugee rights movement litigation. These outcomes will gene ....Mobilising Litigation to Effect Legal, Policy and Social Change. This project will be the first comprehensive study of movement litigation from an Australian perspective. Using an innovative blend of socio-legal methods, the outcomes include an examination of movement litigation actors and their democratic role, a methodological framework for global scholarship on movement litigation and the first international and comparative study of refugee rights movement litigation. These outcomes will generate new knowledge for forced migration studies and have the potential to transform the discipline of law by providing tools for a broader and more contextual approach for the study of jurisprudence. Benefits include lessons for enhancing participatory democracy and promoting progressive social and legal change.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
Developing Reliable Bio-Crypto Features for Mobile Template Protection. Cost of identity theft crimes were at multi-million dollars in Australia in 2007. Technically this is due to the fact that conventional personal identification number and token based security mechanisms cannot identify genuine users. Biometric fingerprint security systems emerge as a promising solution. However protection of the mobile embedded fingerprint template itself is an unresolved problem. The project aims to devel ....Developing Reliable Bio-Crypto Features for Mobile Template Protection. Cost of identity theft crimes were at multi-million dollars in Australia in 2007. Technically this is due to the fact that conventional personal identification number and token based security mechanisms cannot identify genuine users. Biometric fingerprint security systems emerge as a promising solution. However protection of the mobile embedded fingerprint template itself is an unresolved problem. The project aims to develop new ways designing bio-cryptosystems that provide strong security strength. The project will bring new body of knowledge into this field and place Australia in the forefront of this research, and also result in strengthened security of IT infrastructure and systems for industries.Read moreRead less
Nanoscale heating towards high efficient nitrogen reduction reduction. This project aims to develop nanoscale heating technique using AC magnetic field for efficient synthesis of ammonia, widely used for fertiliser and having potential for hydrogen storage. This project is to introduce nanoscale heating concept by heating catalyst only but not solution in electrochemical catalysis to achieve high catalytic activity. Expected outcome is the creation of low cost catalysts having high selectivity a ....Nanoscale heating towards high efficient nitrogen reduction reduction. This project aims to develop nanoscale heating technique using AC magnetic field for efficient synthesis of ammonia, widely used for fertiliser and having potential for hydrogen storage. This project is to introduce nanoscale heating concept by heating catalyst only but not solution in electrochemical catalysis to achieve high catalytic activity. Expected outcome is the creation of low cost catalysts having high selectivity and formation rate for ammonia production. This unique technology has the potential to replace current ammonia production based on Haber-Bosch process, which consumes 2% of world energy and contributes 3% of overall CO2 emission. The project provides opportunities for new industries that will benefit Australian economy.Read moreRead less
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