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
Special Research Initiatives - Grant ID: SR0354726
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
NETVISION: AUSTRALIA'S NATIONAL VISION RESEARCH NETWORK. Vision is the most important human sense. Visual malfunctions pose major health challenges. Vision provides a window into the brain, for studying perception, cognition and consciousness. It is integral to human cultural and social development. It provides opportunities for technological advances in diagnostics, artificial vision, robotics, and surveillance. Vision is therefore crucial to three of the National Priority Areas. The National V ....NETVISION: AUSTRALIA'S NATIONAL VISION RESEARCH NETWORK. Vision is the most important human sense. Visual malfunctions pose major health challenges. Vision provides a window into the brain, for studying perception, cognition and consciousness. It is integral to human cultural and social development. It provides opportunities for technological advances in diagnostics, artificial vision, robotics, and surveillance. Vision is therefore crucial to three of the National Priority Areas. The National Vision Network will create a coherent, interactive and innovative research base in the vision sciences, linked to end-users in areas ranging from the art, entertainment and fashion industries, through health and education, to border protection and counter-terrorism.Read moreRead less
ARC Research Network on Intelligent Sensors, Sensor Networks and Information Processing. Sensor networks, a collection of diverse sensors interconnected via an ad-hoc communication network, are identified as one of the key technologies that over the next two decades will change the way we live. This research network brings together an interdisciplinary team of outstanding Australian researchers representing all the key disciplines required to successfully deploy sensor networks and links this te ....ARC Research Network on Intelligent Sensors, Sensor Networks and Information Processing. Sensor networks, a collection of diverse sensors interconnected via an ad-hoc communication network, are identified as one of the key technologies that over the next two decades will change the way we live. This research network brings together an interdisciplinary team of outstanding Australian researchers representing all the key disciplines required to successfully deploy sensor networks and links this team with the foremost international authorities and leading industry players in the area of sensor networks. This research network will guide collaborative research that will ensure Australia to play a world leading role in sensor network development and implementation.
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
ARC Centre of Excellence - Vision Science. This Centre will generate important new knowledge of the performance, logic and stability of vision and visual behaviour. This knowledge will help reduce the burden of vision impairment in Australia, increasing productivity, promoting healthy ageing and reducing the community costs of visual impairment (ca. $9.85 billion in 2004). The knowledge produced will also make possible world-class innovations in robotics, leading to novel automated vision system ....ARC Centre of Excellence - Vision Science. This Centre will generate important new knowledge of the performance, logic and stability of vision and visual behaviour. This knowledge will help reduce the burden of vision impairment in Australia, increasing productivity, promoting healthy ageing and reducing the community costs of visual impairment (ca. $9.85 billion in 2004). The knowledge produced will also make possible world-class innovations in robotics, leading to novel automated vision systems with applications in industry and national security. Other knowledge will develop novel diagnostic technologies, for application in health delivery.Read moreRead less
Space-based space surveillance with robust computer vision algorithms. Space-based space surveillance with robust computer vision algorithms. This project aims to develop computer vision algorithms to detect man-made objects in space. These algorithms function on nanosatellite platforms, enabling space-based space surveillance. This technology is expected to provide always-on monitoring of the Earth's orbit to enhance existing defence infrastructure and protect vital space assets, including comm ....Space-based space surveillance with robust computer vision algorithms. Space-based space surveillance with robust computer vision algorithms. This project aims to develop computer vision algorithms to detect man-made objects in space. These algorithms function on nanosatellite platforms, enabling space-based space surveillance. This technology is expected to provide always-on monitoring of the Earth's orbit to enhance existing defence infrastructure and protect vital space assets, including communications and navigational satellites, in Earth’s orbit from collisions and covert sabotage. Increased space use by government and civilian agencies opens up opportunities for the space industry. This project is expected to develop Australia’s space surveillance capabilities, protect space assets and capture a growing market.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
Predicting the diagnostic performance of individuals and organisations. Predicting the diagnostic performance of individuals and organisations. This project aims to address diagnostic error in advanced technology systems, by providing a mechanism to assess and improve individual diagnosticians’ performance. Organisations that rely on their employees’ diagnostic skills rarely assess them once the operators become qualified, so there is no basis for interventions that might prevent diagnostic erro ....Predicting the diagnostic performance of individuals and organisations. Predicting the diagnostic performance of individuals and organisations. This project aims to address diagnostic error in advanced technology systems, by providing a mechanism to assess and improve individual diagnosticians’ performance. Organisations that rely on their employees’ diagnostic skills rarely assess them once the operators become qualified, so there is no basis for interventions that might prevent diagnostic errors affecting thousands. This research tests a new method of assessing diagnostic skills based on how skilled operators respond to cues. This project will test how employees’ diagnostic skills change and whether this change corresponds to measures of organisational performance. This research is expected to provide organisations with a tool to pre-empt diagnostic errors that could minimise costs to the economy.Read moreRead less