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
Modelling human decision making in complex environments. The project aims to extend quantitative psychological models of simple choice tasks to decision-making with complex stimuli in complex environments. The new formal models are designed to provide a comprehensive account of behaviour, including the choices that are made, how long it takes to make them, and how choices and choice times vary within and between decision-makers. The models would explain how people adapt to changes in task demand ....Modelling human decision making in complex environments. The project aims to extend quantitative psychological models of simple choice tasks to decision-making with complex stimuli in complex environments. The new formal models are designed to provide a comprehensive account of behaviour, including the choices that are made, how long it takes to make them, and how choices and choice times vary within and between decision-makers. The models would explain how people adapt to changes in task demands when dealing with multiple stimuli or performing multiple tasks concurrently under time pressure. The project aims to provide the basic research that is needed to extend psychological models of choice to complex ‘real-world’ tasks, such air traffic control and maritime surveillance.Read moreRead less
Designing Distributed Intrusion Detection Systems for Critical Industrial Infrastructures. SCADA systems are computerized systems that control and monitor industrial and critical infrastructures, such as power grid, gas and water facilities and nuclear power plants. Many cyber-attacks on SCADA systems make such systems vulnerable. Also there is an increasing risk that SCADA vulnerabilities could be exploited by terrorist organizations. The security of SCADA systems of critical infrastructures ha ....Designing Distributed Intrusion Detection Systems for Critical Industrial Infrastructures. SCADA systems are computerized systems that control and monitor industrial and critical infrastructures, such as power grid, gas and water facilities and nuclear power plants. Many cyber-attacks on SCADA systems make such systems vulnerable. Also there is an increasing risk that SCADA vulnerabilities could be exploited by terrorist organizations. The security of SCADA systems of critical infrastructures has enormous and direct impact to our national security, economy and social life because of potential disasters that could happen from natural causes as well as malicious attacks. This project aims to investigate the relevant issues and provide efficient and reliable technological solutions to detect and prevent such problems.Read moreRead less
Developing smart embedded host-based intrusion detection systems. Computer intrusion is a major concern in many places. It is estimated that cybercrime cost firms US$1 trillion globally in 2008. Many serious cyber attacks, including cyber espionage, do not generate significant network traffic and can easily penetrate network-based intrusion detection systems (NIDS). Such attacks often attempt to compromise individual hosts and hence they are best detected at the host level. We aim to design i ....Developing smart embedded host-based intrusion detection systems. Computer intrusion is a major concern in many places. It is estimated that cybercrime cost firms US$1 trillion globally in 2008. Many serious cyber attacks, including cyber espionage, do not generate significant network traffic and can easily penetrate network-based intrusion detection systems (NIDS). Such attacks often attempt to compromise individual hosts and hence they are best detected at the host level. We aim to design innovative host-based IDS, as a complement to the NIDS, to address this issue. The outcomes of this project will strengthen the national capability to resist attacks by criminals and terrorists on Australian networked critical infrastructures and also enhance the global competitiveness of Australia’s information technology industry.Read moreRead less
Detecting Supervisory Control and Data Access (SCADA) malicious programs to protect Australian critical infrastructure. The security of SCADA systems has enormous impact to our national security and economy because they control and monitor critical infrastructure, like power, gas and water facilities and nuclear power plants, etc. This project aims to investigate the security issues and provide innovative technological solutions to detect and prevent such problems.
Understanding and Managing the Occupational Health Impacts on Investigators of Internet Child Exploitation. Through developing best practice models for managing vicarious trauma in investigators of Internet child exploitation, the project will result in enhanced job satisfaction and less burnout of workers, and reduced health costs for policing organisations. Thus the project addresses a serious occupational health issue and contributes to the goal of promoting and maintaining good health. Furth ....Understanding and Managing the Occupational Health Impacts on Investigators of Internet Child Exploitation. Through developing best practice models for managing vicarious trauma in investigators of Internet child exploitation, the project will result in enhanced job satisfaction and less burnout of workers, and reduced health costs for policing organisations. Thus the project addresses a serious occupational health issue and contributes to the goal of promoting and maintaining good health. Further, by better managing the occupational health of investigators, the project will enhance the capacity of police organisations to deliver on their mission of investigating and preventing Internet child exploitation. This in turn contributes to the reduced consumption of Internet child exploitation and the associated traumatisation of abused victims. Read moreRead less