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
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
ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relat ....ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relating to critical infrastructure. World-leaders with extensive national and international linkages in relevant scientific, engineering and technological research will lead this collaboration. The RNSA will launch various activities to foster research collaboration and nurture young investigators.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
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
Industrial Transformation Training Centres - Grant ID: IC230100015
Funder
Australian Research Council
Funding Amount
$5,000,000.00
Summary
ARC Training Centre for Whole Life Design of Carbon Neutral Infrastructure. This Centre aims to transform the capability of civil infrastructure stakeholders to design, construct, operate and dispose of infrastructure in a carbon neutral way. By training industry-embedded PhDs and postdocs in the methodology and technology required to design out excess carbon of infrastructure in its whole life, this Centre expects to lead the world in sustainable infrastructure design, enabling a new generation ....ARC Training Centre for Whole Life Design of Carbon Neutral Infrastructure. This Centre aims to transform the capability of civil infrastructure stakeholders to design, construct, operate and dispose of infrastructure in a carbon neutral way. By training industry-embedded PhDs and postdocs in the methodology and technology required to design out excess carbon of infrastructure in its whole life, this Centre expects to lead the world in sustainable infrastructure design, enabling a new generation of infrastructure design in Australia and internationally. Achieving carbon neutral infrastructure in its whole life will bring significant far-reaching benefits, including equipping industry with tools required to meet Australia’s emission reduction targets as well as economic, commercial, environmental, and social gains.Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC170100006
Funder
Australian Research Council
Funding Amount
$3,937,625.00
Summary
ARC Training Centre for Advanced Technologies in Rail Track Infrastructure. The ARC Training Centre for Advanced Technologies in Rail Track Infrastructure aims to transform Australia’s rail construction and maintenance technologies through specialist training of industry-focused researchers. Generation of new knowledge and close collaboration with companies within the rail supply chain will result in enhanced rail capacity and supply chain efficiency across the rail network. This will include in ....ARC Training Centre for Advanced Technologies in Rail Track Infrastructure. The ARC Training Centre for Advanced Technologies in Rail Track Infrastructure aims to transform Australia’s rail construction and maintenance technologies through specialist training of industry-focused researchers. Generation of new knowledge and close collaboration with companies within the rail supply chain will result in enhanced rail capacity and supply chain efficiency across the rail network. This will include increased axle loads and higher speeds, greater safety margins, reduced construction and maintenance costs, and a body of competent railway professionals in the nation’s work force.Read moreRead less
Novel gas-liquid columns for liquefied natural gas (LNG) production. Novel gas-liquid columns for liquefied natural gas (LNG) production. This project aims to design distillation and absorption columns, perhaps the most important unit operations in a liquefied natural gas (LNG) plant, and whose optimization is integral to overall performance of any LNG plant. This project will use 3D printers to rapidly prototype concepts of columns and their internals, and test them using flow characterization ....Novel gas-liquid columns for liquefied natural gas (LNG) production. Novel gas-liquid columns for liquefied natural gas (LNG) production. This project aims to design distillation and absorption columns, perhaps the most important unit operations in a liquefied natural gas (LNG) plant, and whose optimization is integral to overall performance of any LNG plant. This project will use 3D printers to rapidly prototype concepts of columns and their internals, and test them using flow characterization tools and numerical models. The final outcome of the project will be a set of designs of the columns, which should be more efficient, safer and cheaper to operate, and have smaller physical and environmental footprints, thus helping the Australian LNG industry to stay globally competitive.Read moreRead less
Microbiologically Induced Stress Corrosion Cracking in Underground Mines. Premature brittle failure of rock & cable bolts due to stress corrosion cracking can cause fatalities and serious damage, and has been reported in several mining operations across Australia and world-wide. The evidence suggests that microbial activity is a contributing factor. The project aims to implement experimental methodologies to determine the specific conditions responsible for bolt failure and develop novel prevent ....Microbiologically Induced Stress Corrosion Cracking in Underground Mines. Premature brittle failure of rock & cable bolts due to stress corrosion cracking can cause fatalities and serious damage, and has been reported in several mining operations across Australia and world-wide. The evidence suggests that microbial activity is a contributing factor. The project aims to implement experimental methodologies to determine the specific conditions responsible for bolt failure and develop novel prevention techniques applicable in underground mines. The benefits of this research will be improved understanding of the environment causing catastrophic failure of bolts and avoidance of potential hazards & economic loss in mining projects. This will lead to improved safety & increased productivity in mining operations.Read moreRead less