Intelligent Technologies for Smart Cryptography. This project aims to improve cybersecurity by automating the process of generating cryptographic software for smart devices. The expected outcomes are tools that automatically produce efficient cryptographic software that resists attacks. The main benefit of this project is to reduce the amount of expert labour required when developing secure software.
Privacy-Preserving Classification for Big-Data Driven Network Traffic. Protecting sensitive information in large network traffic flows while ensuring data usability for classification emerges as a critical problem of increasing significance. Existing techniques do not work on highly heterogeneous traffic from big-data applications for both privacy protection and classification (such as port-based and load- based methods). This project investigates new theories, methods and techniques for solving ....Privacy-Preserving Classification for Big-Data Driven Network Traffic. Protecting sensitive information in large network traffic flows while ensuring data usability for classification emerges as a critical problem of increasing significance. Existing techniques do not work on highly heterogeneous traffic from big-data applications for both privacy protection and classification (such as port-based and load- based methods). This project investigates new theories, methods and techniques for solving this problem. It proposes to develop a set of effective methods for privacy-preserving data publication through combining randomisation with anonymisation, and for classifying the published data through uncertainty leveraging by probabilistic reasoning and accuracy lifting by inter-flow correlation analysis and active learning.Read moreRead less
Visual tracking of multiple objects: A stochastic geometrical approach. Reliable real-time visual multiple-object tracking techniques will open up new applications that enhance the quality of life such as driving safety, traffic monitoring, home security, security and surveillance of public facilities. These new applications have huge commercial potentials, and the technology developed from this project will provide the catalyst for vibrant new industries to grow. In addition, the expertise deve ....Visual tracking of multiple objects: A stochastic geometrical approach. Reliable real-time visual multiple-object tracking techniques will open up new applications that enhance the quality of life such as driving safety, traffic monitoring, home security, security and surveillance of public facilities. These new applications have huge commercial potentials, and the technology developed from this project will provide the catalyst for vibrant new industries to grow. In addition, the expertise developed from the project will provide a competitive edge for Australian industries in aerospace, oceanography, robotics, remote sensing, and biomedical engineering. Read moreRead less
A data driven paradigm for service-oriented system engineering. This project aims to design and develop a data driven paradigm for service-oriented system engineering that allows system engineers and domain experts in different domains to build software systems easily in order to enable fast technology transfer within and across domain boundaries. This model integrates and automates a suite of efficient approaches for system structure determination, validation and recommendation based on keyword ....A data driven paradigm for service-oriented system engineering. This project aims to design and develop a data driven paradigm for service-oriented system engineering that allows system engineers and domain experts in different domains to build software systems easily in order to enable fast technology transfer within and across domain boundaries. This model integrates and automates a suite of efficient approaches for system structure determination, validation and recommendation based on keyword search, subgraph isomorphism and substructure query techniques. This project is expected to significantly accelerate the application of new technologies, for example, big data analytics and Internet of Things, in many of Australia's critical domains such as e-Health, smart cities, and cybersecurity.Read moreRead less
Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost ....Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost savings, highly beneficial to
the ICT industry. Lessons learned from the demonstration prototype,
can be directly carried over into commercial tool development. In
addition, the project strengthens links to high quality European
research laboratories.Read moreRead less
Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savin ....Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savings, highly beneficial to any industry with a significant ICT component, e.g., defense. Lessons learned from the demonstration prototype, can be directly carried over into commercial tool development. The project strengthens links to high quality European research laboratories.Read moreRead less
Online Learning for Large Scale Structured Data in Complex Situations. Online Learning (OL) is the process of predicting answers for a sequence of questions. OL has enjoyed much attention in recent years due to its natural ability of processing large scale non-structured data and adapting to a changing environment. However, OL has three weaknesses: it does not scale for structured data; it often assumes that all of the data are equally important; it often considers that all of the data are compl ....Online Learning for Large Scale Structured Data in Complex Situations. Online Learning (OL) is the process of predicting answers for a sequence of questions. OL has enjoyed much attention in recent years due to its natural ability of processing large scale non-structured data and adapting to a changing environment. However, OL has three weaknesses: it does not scale for structured data; it often assumes that all of the data are equally important; it often considers that all of the data are complete and noise-free. These weaknesses limit its utility, because real data such as those that must be analysed in processing social networks, fraud detection do not satisfy the restrictions. The aim of this project is to develop theoretical and practical advances in OL that overcome the existing weaknesses.Read moreRead less
Probabilistic Graphical Models For Interventional Queries. The project intends to develop methods to suggest how to optimally intervene so that the future state of the system will best suit our interests. The power of probabilistic graphical models to model complex relationships and interactions among a large number of variables facilitates many applications. However, such models only aim to understand the underlying environment. What is ultimately needed in many real-world applications is to su ....Probabilistic Graphical Models For Interventional Queries. The project intends to develop methods to suggest how to optimally intervene so that the future state of the system will best suit our interests. The power of probabilistic graphical models to model complex relationships and interactions among a large number of variables facilitates many applications. However, such models only aim to understand the underlying environment. What is ultimately needed in many real-world applications is to suggest how we ought to intervene or act, so as to alter the environment to best suit our interests. The proposed project aims to achieve this using probabilistic graphical models on massive real-world data sets, thus facilitating a variety of applications from health care to commerce and the environment.Read moreRead less
What Can You Trust in the Large and Noisy Web? This project will develop innovative techniques to efficiently and effectively distill truthful information from the inherently unreliable and large-scale Web environment, where misinformation has been widely regarded as a grand challenge for the next decade. The results of this project will not only maintain Australia’s leadership in this frontier research area, but also support many important applications that safeguard Australian people and econo ....What Can You Trust in the Large and Noisy Web? This project will develop innovative techniques to efficiently and effectively distill truthful information from the inherently unreliable and large-scale Web environment, where misinformation has been widely regarded as a grand challenge for the next decade. The results of this project will not only maintain Australia’s leadership in this frontier research area, but also support many important applications that safeguard Australian people and economy such as emergency and disaster management and online healthcare. This project also serves as an excellent vehicle for the education and training of Australia’s next generation of scholars and engineers.Read moreRead less
Pacific Partners? The Australia-New Zealand alliance in the Pacific Islands. This project aims to investigate how alliances operate and why they endure using an in-depth analysis of the Australia-New Zealand alliance in the Pacific Islands, the region where the alliance has focused and in which there is growing strategic and policy interest. It intends to build a micro-level analysis of the influence of the behaviors and beliefs of individuals onto existing conceptual accounts. Informed by exten ....Pacific Partners? The Australia-New Zealand alliance in the Pacific Islands. This project aims to investigate how alliances operate and why they endure using an in-depth analysis of the Australia-New Zealand alliance in the Pacific Islands, the region where the alliance has focused and in which there is growing strategic and policy interest. It intends to build a micro-level analysis of the influence of the behaviors and beliefs of individuals onto existing conceptual accounts. Informed by extensive interviews, it expects to advance understanding of how the two states negotiate differences in approaches and interests while working together to preserve their security. It anticipates pinpointing strengths and vulnerabilities in the alliance and contributing to a more informed policy debate about how it should operate.Read moreRead less