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
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
Microcantilevers for multifrequency atomic force microscopy. This project aims to design a microcantilever with high-performing sensors more sensitive and with better noise performance than the typical optical system used in commercial Atomic Force Microscopes (AFMs). The AFM, a nanotechnology instrument, uses a microcantilever (with an extremely shape probe) to interrogate a sample surface. It has made important discoveries in nanotechnology, life sciences, nanomachining, material science and d ....Microcantilevers for multifrequency atomic force microscopy. This project aims to design a microcantilever with high-performing sensors more sensitive and with better noise performance than the typical optical system used in commercial Atomic Force Microscopes (AFMs). The AFM, a nanotechnology instrument, uses a microcantilever (with an extremely shape probe) to interrogate a sample surface. It has made important discoveries in nanotechnology, life sciences, nanomachining, material science and data storage systems. Despite its success, the technique’s spatial resolution and quantitative measurements are limited. This project could lead to breakthrough technologies such as atomic force spectroscopy to study elastic modulus of nanostructures, and establish Australia's prominence in this emerging field.Read moreRead less
Extending the lifetime of switching power converters. This project aims to address the need for longer lifespan of power conversion systems which can withstand failure of its key components. This is achieved through developing more reliable power converter circuits whilst reducing the stress of the components. This project will generate new circuit design and control techniques for power and energy systems, especially in dealing with reliability issues. Expected outcome of this project includes ....Extending the lifetime of switching power converters. This project aims to address the need for longer lifespan of power conversion systems which can withstand failure of its key components. This is achieved through developing more reliable power converter circuits whilst reducing the stress of the components. This project will generate new circuit design and control techniques for power and energy systems, especially in dealing with reliability issues. Expected outcome of this project includes reduction of failure rate of power converters by at least 50%. This should provide benefits for many sectors including emerging technologies in particular renewable energy, electric vehicles and energy storage systems seeking reliable power supply and for the environment with reduced e-waste production.Read moreRead less
Contextual Behabiour Predictions in Dynamic Mobile E-commerce. The project aims to address behaviour prediction and develop novel techniques and tools for modelling, predicting human behaviours and making effective recommendations based on ubiquitous user behaviour data in mobile e-commerce. The techniques enable multi-source data fusion, context learning and model adaptation, and dynamic recommendation with interpretability ability. Expected outcomes include advances in data analytics theory an ....Contextual Behabiour Predictions in Dynamic Mobile E-commerce. The project aims to address behaviour prediction and develop novel techniques and tools for modelling, predicting human behaviours and making effective recommendations based on ubiquitous user behaviour data in mobile e-commerce. The techniques enable multi-source data fusion, context learning and model adaptation, and dynamic recommendation with interpretability ability. Expected outcomes include advances in data analytics theory and informed decision-making. This provides significant benefits of not only placing Australia in the forefront of exploiting multimodal user behaviour big data in dynamic e-commerce but also transforming Australian government and businesses to intelligent and contextual services adaptive to complex situations.Read moreRead less
Trust-Oriented Data Analytics in Online Social Networks. Trust-oriented data analytics is essential in online social networks for reducing deceitful interactions and enhancing trust between users. This project aims to systematically devise innovative solutions by considering rich social contextual information as an important source of trust. The expected outcomes of this project include innovative solutions from a fundamental perspective to the challenges of context-aware trust propagation, trus ....Trust-Oriented Data Analytics in Online Social Networks. Trust-oriented data analytics is essential in online social networks for reducing deceitful interactions and enhancing trust between users. This project aims to systematically devise innovative solutions by considering rich social contextual information as an important source of trust. The expected outcomes of this project include innovative solutions from a fundamental perspective to the challenges of context-aware trust propagation, trust network searching/matching, and trustworthy/malicious user prediction in online social networks. This project is significant as it will advance the knowledge base for enabling a trustworthy social networking environment, benefiting billions of Australian and worldwide online social network users.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
Subsurface Atomic Force Microscopy using Dual Probes. The proposal aims to develop a new microscopy method for imaging nano-scale structures buried below the surface of a sample; for example, metal conductors in a computer processor chip. The expected outcome is a new method for creating subsurface images with an application focus on semiconductor device inspection and quality control. The proposed microscope is expected to create new economic opportunities including new commercial products, int ....Subsurface Atomic Force Microscopy using Dual Probes. The proposal aims to develop a new microscopy method for imaging nano-scale structures buried below the surface of a sample; for example, metal conductors in a computer processor chip. The expected outcome is a new method for creating subsurface images with an application focus on semiconductor device inspection and quality control. The proposed microscope is expected to create new economic opportunities including new commercial products, intellectual property, and the potential for a start-up venture. The benefits to Australia should include the creation of new job opportunities and the development of local expertise in a high-value market sector.Read moreRead less