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
Internet Timing for the Ages: Establishing the New Timekeeping System. All computers incorporate a software clock, essential to myriad software applications. An economic way to synchronize such clocks is over a network, however the approach the Internet currently depends upon is unreliable and vulnerable. This project aims to establish a new architecture for networked timekeeping, built on future-proofed fundamentals, that will for the first time address each of accuracy, reliability, and trust. ....Internet Timing for the Ages: Establishing the New Timekeeping System. All computers incorporate a software clock, essential to myriad software applications. An economic way to synchronize such clocks is over a network, however the approach the Internet currently depends upon is unreliable and vulnerable. This project aims to establish a new architecture for networked timekeeping, built on future-proofed fundamentals, that will for the first time address each of accuracy, reliability, and trust. The expected outcome is a national prototype, serving the public with accurate and trusted time, that will form the basis of the next generation timekeeping system for the Internet and the Internet of Things. Expected benefits include enhanced productivity across the digital economy, and resilience to GPS failures.Read moreRead less
A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and vali ....A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and validating a new mid-range theory, initially in the financial investment context, this project will provide significant benefits, such as help to secure Australia’s place in a changing world through improved information flow.Read moreRead less
Discontinued Use of Social Media: Dichotomy of Rational & Emotional Choices. This project aims to gain a better understanding of discontinued use of social media. For businesses and governments, social media serves as a dynamic channel for engagement, value co-creation, and business analytics marketing that is lost when users choose to discontinue its use. This project will generate new knowledge of rational and emotional decision criteria, enabling design features of social media, and their com ....Discontinued Use of Social Media: Dichotomy of Rational & Emotional Choices. This project aims to gain a better understanding of discontinued use of social media. For businesses and governments, social media serves as a dynamic channel for engagement, value co-creation, and business analytics marketing that is lost when users choose to discontinue its use. This project will generate new knowledge of rational and emotional decision criteria, enabling design features of social media, and their complex effects on discontinued use of social media. The expected outcome of this project is an integrated theory of social media discontinuance. The project findings provide significant benefits, such as strategic capabilities and actionable knowledge for businesses and governments to mitigate social media discontinued use.Read moreRead less
Trusted business processes. This project aims to use conceptual design, process modelling and co-design approaches to create a structured approach for the management of trust. With a focus on business processes, it is intended to develop research- informed methods in order to (1) identify and specify trust concerns and opportunities, (2) model these within a common process modelling language and (3) propose patterns for how to mitigate trust concerns and how to benefit from opportunities. If suc ....Trusted business processes. This project aims to use conceptual design, process modelling and co-design approaches to create a structured approach for the management of trust. With a focus on business processes, it is intended to develop research- informed methods in order to (1) identify and specify trust concerns and opportunities, (2) model these within a common process modelling language and (3) propose patterns for how to mitigate trust concerns and how to benefit from opportunities. If successful, this would lead to an operational, and world first, detailed trust methodology for organisations in all sectors. As a result, Australian customers would engage with business processes with reduced trust concerns and experience increased integrity and benevolence.Read moreRead less
Digital nomadism: How IT enables new forms of working and organising. This project aims to gain a better understanding of digital nomadism. Digital nomads use IT platforms to work remotely over the Internet while perpetually travelling. The project will develop new knowledge by better understanding of how IT transforms work and enable digital nomadism, the motivations and values of workers and their clients/organisations engaged in digital nomadism and the implications and consequences of digita ....Digital nomadism: How IT enables new forms of working and organising. This project aims to gain a better understanding of digital nomadism. Digital nomads use IT platforms to work remotely over the Internet while perpetually travelling. The project will develop new knowledge by better understanding of how IT transforms work and enable digital nomadism, the motivations and values of workers and their clients/organisations engaged in digital nomadism and the implications and consequences of digital nomadism for workers and clients/organisations. The project is expected to have a significant impact on policy and public discourse by providing an in-depth explanation and understanding of digital nomadism based on rigorous research.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