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
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
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
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
Doped metal perovskites for electrocatalysis. This project aims to discover and design perovskite metal-oxide electrocatalyst materials and develop electrocatalytic methods for efficiently driving the oxygen evolution reaction and the oxygen reduction reaction. These are the two most crucial reactions in sustainable energy cycles involving water, hydrogen and oxygen. The project’s anticipated advances in electrocatalysis efficiency for these two reactions will benefit sustainable energy technolo ....Doped metal perovskites for electrocatalysis. This project aims to discover and design perovskite metal-oxide electrocatalyst materials and develop electrocatalytic methods for efficiently driving the oxygen evolution reaction and the oxygen reduction reaction. These are the two most crucial reactions in sustainable energy cycles involving water, hydrogen and oxygen. The project’s anticipated advances in electrocatalysis efficiency for these two reactions will benefit sustainable energy technologies such as fuel cells, metal air batteries and water splitting.Read moreRead less
Making hydrogen storage work for the new hydrogen economy. This project aims to develop an innovative Liquid Organic Hydrogen Storage technology and prove its energy industry potential. This project expects to expand and validate the performance, safety and scale-up potential of this new technology in an industrial context to promote the development of the hydrogen economy. Expected outcomes include providing practical, efficient, large-scale storage technology for use in intermittent renewable ....Making hydrogen storage work for the new hydrogen economy. This project aims to develop an innovative Liquid Organic Hydrogen Storage technology and prove its energy industry potential. This project expects to expand and validate the performance, safety and scale-up potential of this new technology in an industrial context to promote the development of the hydrogen economy. Expected outcomes include providing practical, efficient, large-scale storage technology for use in intermittent renewable energy storage and hydrogen vehicle refuelling, and addressing legal/regulatory implementation issues. This should provide significant benefits in cultivating the emerging hydrogen energy industry, strengthening industrial competitiveness, enhancing Australia’s fuel security and protecting the environment.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE170101081
Funder
Australian Research Council
Funding Amount
$360,000.00
Summary
Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis t ....Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis to efficiently and precisely analyse large-scale programs according to clients’ needs, thereby allowing compilers to generate safe, reliable and secure code. This project is expected to advance value-flow analysis for industrial-sized software, improve software reliability and security, and benefit Australian software systems and industries.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
Industrial Transformation Research Hubs - Grant ID: IH210100001
Funder
Australian Research Council
Funding Amount
$2,062,428.00
Summary
ARC Research Hub for Nutrients in a Circular Economy (NiCE). Urban utilities are in need to design resilient wastewater infrastructure to tackle the pressures of urban intensification, waterways pollution and climate change. This Hub aims to transform the wastewater industry with an unprecedented, city-scale circular economy of nutrients based on urine separation and processing at building level, to produce safe and effective liquid fertilisers. By engaging with stakeholders across the value cha ....ARC Research Hub for Nutrients in a Circular Economy (NiCE). Urban utilities are in need to design resilient wastewater infrastructure to tackle the pressures of urban intensification, waterways pollution and climate change. This Hub aims to transform the wastewater industry with an unprecedented, city-scale circular economy of nutrients based on urine separation and processing at building level, to produce safe and effective liquid fertilisers. By engaging with stakeholders across the value chain, this Hub expects to bring two urine processing technologies to commercial readiness, and to produce new regulations and business models for the circular economy. This will add resilience to the wastewater and urban farming industries, and will create market opportunities for new Australian technologies.Read moreRead less