MemberGuard: Protecting Machine Learning Privacy from Membership Inference. Machine Learning has become a core part of many real-world applications. However, machine learning models are vulnerable to membership inference attacks. In these attacks, an adversary can infer if a given data record has been part of the model's training data. In this project, the team aims to develop new techniques that can be used to counter these attacks, such as 1) new analytical models for membership leakage, 2) ne ....MemberGuard: Protecting Machine Learning Privacy from Membership Inference. Machine Learning has become a core part of many real-world applications. However, machine learning models are vulnerable to membership inference attacks. In these attacks, an adversary can infer if a given data record has been part of the model's training data. In this project, the team aims to develop new techniques that can be used to counter these attacks, such as 1) new analytical models for membership leakage, 2) new methods for susceptibility diagnosis, 3) new defences that leverage privacy and utility. Data-oriented services are estimated to be valuable assets in the future. These techniques can help Australia gain cutting edge advantage in machine learning security and privacy and protect its intellectual property on these services.Read moreRead less
Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while pres ....Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while preserving the data privacy. These tools should provide significant benefits to the privacy of cloud users, as well as financial and reputation benefits to the IT industry, by significantly reducing the likelihood of massive user data privacy breaches in the event of a cyber-hacking attack on the cloud server.Read moreRead less
Finding and exploiting interesting paths in multidimensional information spaces. This project will invent a new approach for searching within a large complex information space, finding interesting paths between points within the space, visualising the results, and supporting rich, human-centric user interaction with queries and results. This project will embody these techniques in a novel, internet-scale framework to support rapid development of large path search and visualisation applications. ....Finding and exploiting interesting paths in multidimensional information spaces. This project will invent a new approach for searching within a large complex information space, finding interesting paths between points within the space, visualising the results, and supporting rich, human-centric user interaction with queries and results. This project will embody these techniques in a novel, internet-scale framework to support rapid development of large path search and visualisation applications. Evaluation will be via development of several exemplar applications. The techniques and framework will be applicable to a broad range of economically important problems in areas as diverse as health, travel, scientific publication search, product marketing and software engineering.Read moreRead less
Semantic Vectorisation: From Bitmaps to Intelligent Representations. The objective of this innovative project is to provide a solution to the open question of representing natural images by semantically rich vector graphics. The challenges are to identify key visual and temporal elements for images and videos, and efficiently decompose the visual data into semantic vector representations that are faithful to original data, compact and editable. The project aims to investigate new bitmap-to-vecto ....Semantic Vectorisation: From Bitmaps to Intelligent Representations. The objective of this innovative project is to provide a solution to the open question of representing natural images by semantically rich vector graphics. The challenges are to identify key visual and temporal elements for images and videos, and efficiently decompose the visual data into semantic vector representations that are faithful to original data, compact and editable. The project aims to investigate new bitmap-to-vector conversion methods. It is expected to develop a framework where semantic labels and hyperlinks can be embedded in visual data automatically. It hopes to pioneer the creation of a web of images where the links are on image/video regions. New image simplification, stylisation, and non-photorealistic rendering methods are expected to be provided.Read moreRead less
Large-scale three dimensional deformation of the lithosphere by subduction and mantle flow. We will be modelling of the dynamics of the Earth's crust and shallow lithosphere in response to the huge stresses created by plate motions. For Australia these stresses are transmitted from the distant plate boundaries, but they have a direct controlling influence on the evolution of the petroleum rich basins of Australia. These basins have reached maturity; further exploration will be in deep water wher ....Large-scale three dimensional deformation of the lithosphere by subduction and mantle flow. We will be modelling of the dynamics of the Earth's crust and shallow lithosphere in response to the huge stresses created by plate motions. For Australia these stresses are transmitted from the distant plate boundaries, but they have a direct controlling influence on the evolution of the petroleum rich basins of Australia. These basins have reached maturity; further exploration will be in deep water where geophysical prospecting methods are unreliable. Model-driven "exploration geodynamics" methods such as those we are developing will be needed to support traditional exploration techniques in these areas.Read moreRead less
Nonlinear Signal Processing: Optimisation and Tracking on Manifolds. Most hi-tech electronic devices must process signals. A mobile phone, for example, must encode, transmit, decode and receive voice signals. This project will use specialised mathematical theories applied in novel ways to advance the theoretical foundations of signal processing and develop better signal processing algorithms for practical applications. Companies with access to better signal processing algorithms have an edge ov ....Nonlinear Signal Processing: Optimisation and Tracking on Manifolds. Most hi-tech electronic devices must process signals. A mobile phone, for example, must encode, transmit, decode and receive voice signals. This project will use specialised mathematical theories applied in novel ways to advance the theoretical foundations of signal processing and develop better signal processing algorithms for practical applications. Companies with access to better signal processing algorithms have an edge over their competitors, and consumers benefit too from better and more advanced products.Read moreRead less
Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence appl ....Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence applications, the project aims to develop a unified framework of mathematical logics adequate to formally represent and reason about the structure, behaviour, and properties of hybrid control systems, and use this to develop methodologies for automatically synthesising hybrid control programs that are provably correct with respect to their specifications. Other outcomes include prototype software implementations of hybrid controller design tools.Read moreRead less
Theory and Applications of Computer-Intensive Statistical Methods. The availability of powerful computing equipment has had a dramatic impact on statistical methods and thinking. It has motivated development of novel approaches to data analysis, whose conception
and appreciation, even their application, often demand sophisticated and complex theoretical methods. In this context, the project will develop new approaches to solving non-standard statistical problems. These techniques will eithe ....Theory and Applications of Computer-Intensive Statistical Methods. The availability of powerful computing equipment has had a dramatic impact on statistical methods and thinking. It has motivated development of novel approaches to data analysis, whose conception
and appreciation, even their application, often demand sophisticated and complex theoretical methods. In this context, the project will develop new approaches to solving non-standard statistical problems. These techniques will either have direct application to solving practical problems of national or community concern, or provide a better understanding of the nature of such problems.Read moreRead less
DeepHoney: Automatic Honey Data Generation for Active Cyber Defence . This project aims to enhance the security of networks and information systems by empowering them with intelligent deception techniques to achieve proactive attack detection and defence. In recent times, the fictitious environment – honeypot designed by human experience becomes popular to attract attackers and capture their interactions. However, rules-based construction of honeypots fails in preserving the privacy, boosting th ....DeepHoney: Automatic Honey Data Generation for Active Cyber Defence . This project aims to enhance the security of networks and information systems by empowering them with intelligent deception techniques to achieve proactive attack detection and defence. In recent times, the fictitious environment – honeypot designed by human experience becomes popular to attract attackers and capture their interactions. However, rules-based construction of honeypots fails in preserving the privacy, boosting the attractiveness and evolving the system. The project expects to advance deep learning and yield novel DeepHoney technologies with associated publications and open-source software. This should benefit science, society, and the economy by building the next generation of active cyber defence systems. Read moreRead less
Location-Based Personalisation in Mobile Commerce (M-Commerce). M-commerce, though playing an important role in future competitiveness of Australia, suffers a low user demand. While location-based services have taken off in Europe, they are still at their infancy in Australia. In terms of IT access, Australia is ranked lower than many Asian countries. Our work gains an understanding of users' concerns and expectations of location-based services, which leads to better application designs and thus ....Location-Based Personalisation in Mobile Commerce (M-Commerce). M-commerce, though playing an important role in future competitiveness of Australia, suffers a low user demand. While location-based services have taken off in Europe, they are still at their infancy in Australia. In terms of IT access, Australia is ranked lower than many Asian countries. Our work gains an understanding of users' concerns and expectations of location-based services, which leads to better application designs and thus a wider adoption. An examination of users' attitude towards personalised content and concerns about data privacy provides insights to Australian legislation in relation to telemarketing and data-driven marketing. National benefits will stem from a balance between telemarketing efficiency and users' benefits.Read moreRead less