Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.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 Research Hubs - Grant ID: IH230100013
Funder
Australian Research Council
Funding Amount
$5,000,000.00
Summary
ARC Research Hub for Future Digital Manufacturing. This Hub aims to grow and accelerate Australian digital manufacturing (DM) transformation by devising novel DM technology and commercialisation/adoption pathways. The Hub expects to transform industry by developing novel AI and IoT-powered DM technology that provides for dramatic improvement in manufacturing productivity, resilience and competitiveness. Expected outcomes include novel DM technology for digitally representing, predicting, and imp ....ARC Research Hub for Future Digital Manufacturing. This Hub aims to grow and accelerate Australian digital manufacturing (DM) transformation by devising novel DM technology and commercialisation/adoption pathways. The Hub expects to transform industry by developing novel AI and IoT-powered DM technology that provides for dramatic improvement in manufacturing productivity, resilience and competitiveness. Expected outcomes include novel DM technology for digitally representing, predicting, and improving production and its outcomes via an open platform that supports reusing industry co-created DM solutions. Through supporting advanced manufacturing priorities and Industry 4.0, the Hub should provide significant benefits by increasing Australian manufacturing productivity and resilience by 30%.Read moreRead less
Examining multi-level Information Technology (IT) project alignment in government services: the case of contracted employment services. Improved Information Technology (IT) alignment is essential for the delivery of government services within a complex public-private, inter-organisational environment. This project will investigate the extent to which well-aligned IT support systems contribute positively to the efficient and effective delivery of contracted employment services.
Detecting Firmware Vulnerabilities in Smart Home Devices. 83% of Australians have smart home devices. 47% claim they have three or more. These devices are easily targeted by cyber-attacks, and searching for their vulnerabilities has become more crucial than ever. Our industry partner GPG is actively looking for ways to detect vulnerabilities in their smart home products, but have not found any existing methods that satisfy three critical requirements: 1) massive search, 2) cross platform detecti ....Detecting Firmware Vulnerabilities in Smart Home Devices. 83% of Australians have smart home devices. 47% claim they have three or more. These devices are easily targeted by cyber-attacks, and searching for their vulnerabilities has become more crucial than ever. Our industry partner GPG is actively looking for ways to detect vulnerabilities in their smart home products, but have not found any existing methods that satisfy three critical requirements: 1) massive search, 2) cross platform detection, and 3) finding unseen vulnerabilities. We therefore propose to use a series of new techniques such as efficient in-memory fuzzing, conditional formulas, and transfer learning to solve the above challenges. The project outcomes will help Australia gain cutting edge techniques in vulnerability detection. Read moreRead less
Fast effective clustering technologies for highly dynamic massive networks. Clustering is a fundamental data mining and analysis task. In an interconnected evolving world, friendships and information flows are modelled as large dynamic networks. Structural clustering and correlation clustering are important and well-studied approaches for static networks; for evolving networks, where links appear and disappear over time, we lack efficient techniques. Anticipated outcomes are new practical cluste ....Fast effective clustering technologies for highly dynamic massive networks. Clustering is a fundamental data mining and analysis task. In an interconnected evolving world, friendships and information flows are modelled as large dynamic networks. Structural clustering and correlation clustering are important and well-studied approaches for static networks; for evolving networks, where links appear and disappear over time, we lack efficient techniques. Anticipated outcomes are new practical clustering algorithms for dynamic networks – with performance guarantees of efficiency and clustering quality – and prototype software, guiding us to pick a good clustering. Expected benefits include better understanding of spread in evolving social networks, accelerating the software testing cycle, and improved topic detection.Read moreRead less
Computational modelling of nanofluids for industrial applications. The use of nanoparticles in heat transfer fluids, then known as nanofluids, increases their specific heat and thermal conductivity. Recent experimental works highlight that anomalous transport phenomena are evident in nanofluids that cannot be adequately described by classical conservation laws. We will extend these conservation laws to incorporate fractional operators to capture the fluid memory effects and the impact of particl ....Computational modelling of nanofluids for industrial applications. The use of nanoparticles in heat transfer fluids, then known as nanofluids, increases their specific heat and thermal conductivity. Recent experimental works highlight that anomalous transport phenomena are evident in nanofluids that cannot be adequately described by classical conservation laws. We will extend these conservation laws to incorporate fractional operators to capture the fluid memory effects and the impact of particle clustering. Computational modelling and experimental investigations will be undertaken to identify the heat transfer mechanisms of various nanofluids. The outcomes of the work will increase knowledge on nanofluids and offer a significant opportunity to improve the efficiency of many thermal engineering systems.Read moreRead less
The recirculation of myeloid dendritic cells. This project aims to understand dendritic cell recirculation. It will use virological tools to track dendritic cell migration, and identify key decision points. Expected outcomes include enhanced capacity in basic research and greater interdisciplinary collaboration between virology and immunology research groups. Significant benefits will include a new understanding of how G protein coupled receptor signalling and other tissue cues guide dendritic c ....The recirculation of myeloid dendritic cells. This project aims to understand dendritic cell recirculation. It will use virological tools to track dendritic cell migration, and identify key decision points. Expected outcomes include enhanced capacity in basic research and greater interdisciplinary collaboration between virology and immunology research groups. Significant benefits will include a new understanding of how G protein coupled receptor signalling and other tissue cues guide dendritic cell recirculation, and what consequences the recirculation has for immune cell function. This understanding will significantly advance our basic understanding of the immune system.Read moreRead less
Enhancing privacy preserving in dynamic cyberspace. This project aims to develop a novel infrastructure operational monitoring and management strategy to reduce the redundant maintenance actions and achieve a cost-effective approach for civil infrastructure asset management. The project will use multiple social networks as a platform for the project, with the potential for the results to be extended to any dynamic cyberspace. Project outcomes will include a set of new analysis theories and tools ....Enhancing privacy preserving in dynamic cyberspace. This project aims to develop a novel infrastructure operational monitoring and management strategy to reduce the redundant maintenance actions and achieve a cost-effective approach for civil infrastructure asset management. The project will use multiple social networks as a platform for the project, with the potential for the results to be extended to any dynamic cyberspace. Project outcomes will include a set of new analysis theories and tools to facilitate government, companies, individuals, and organisations to enhance their information gathering and privacy-preserving capabilities. This is expected to enhance the credibility of the government and organisations and save the possible financial loss of companies and individuals.Read moreRead less