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
WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production ....WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production which is on time, minimize wastes and raw materials and inventories. The leading edge results will increase the contributions of these industries to the Australian economy and our global competitiveness necessary to maintain our culture and the beauty of our environment. Read moreRead less
A Commercially Viable, Innovative XML - Enabled Association Rule Framework. The pervasive nature of the Web has raised two important issues, namely (1) how to exchange data between isolated information systems within two different companies with their own data formats and (2) how to store information particularly documents, so that they can be accessed through the internet based on their meaning. The Extended Markup Language XML has emerged as the favoured means of addressing these issues and th ....A Commercially Viable, Innovative XML - Enabled Association Rule Framework. The pervasive nature of the Web has raised two important issues, namely (1) how to exchange data between isolated information systems within two different companies with their own data formats and (2) how to store information particularly documents, so that they can be accessed through the internet based on their meaning. The Extended Markup Language XML has emerged as the favoured means of addressing these issues and this is leading to an explosive growth in the information stored in this way. This project addresses the issue of determination of patterns and knowledge in information stored in XML through datamining.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
Accuracy and cost-effectiveness of technology-assisted dietary assessment. This project aims to compare leading methods for technology-assisted dietary assessment. Excessive cost and questionable accuracy limit the routine use of dietary assessment and undermine decision making in Australia. This project intends to compare three technology methods of assessing diet with the current standard recall method used in population surveys in order to confirm if the use of food images and automated metho ....Accuracy and cost-effectiveness of technology-assisted dietary assessment. This project aims to compare leading methods for technology-assisted dietary assessment. Excessive cost and questionable accuracy limit the routine use of dietary assessment and undermine decision making in Australia. This project intends to compare three technology methods of assessing diet with the current standard recall method used in population surveys in order to confirm if the use of food images and automated methods provide new approaches to improve accuracy and consumer acceptability. Expected outcomes of this project include more accurate and acceptable methods of assessing dietary intake. These findings will inform decision making for researchers, policy makers and practitioners in Australia, and potentially lead to more regular population surveillance.Read moreRead less