Effective software vulnerability detection for web services. This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or through the cloud, as well as methods for proving the absence of certain types of vulnerability. So-called injection attacks are pervasive and generally considered the most important security threat on today's Internet. The programming languages used for software services tend to use strings as a unive ....Effective software vulnerability detection for web services. This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or through the cloud, as well as methods for proving the absence of certain types of vulnerability. So-called injection attacks are pervasive and generally considered the most important security threat on today's Internet. The programming languages used for software services tend to use strings as a universal data structure, which unfortunately makes it hard to separate trusted code from untrusted user-provided data. This project intends to develop novel program analysis tools and string constraint solvers, and employ these tools to support sophisticated automated reasoning about string manipulating software.Read moreRead less
Eat and Dream: effective automatic testing and debugging for real-life embedded wireless communications software. Embedded software is a key enabling technology for the majority of Australian manufacturing industries, including strategically important sectors such as the automotive industry. Embedded wireless communication technologies are playing an increasingly significant role in Australia with a wide range of critical applications ranging from natural disaster early warning to personal healt ....Eat and Dream: effective automatic testing and debugging for real-life embedded wireless communications software. Embedded software is a key enabling technology for the majority of Australian manufacturing industries, including strategically important sectors such as the automotive industry. Embedded wireless communication technologies are playing an increasingly significant role in Australia with a wide range of critical applications ranging from natural disaster early warning to personal health monitoring. Embedded wireless communications software, however, is difficult to test and debug owing to the complexity of the operational environment and complications arising from the interplay between software and hardware. This project will develop an effective and automatic technology to alleviate these difficulties and achieve higher quality software.Read moreRead less
Developing an active defence system to identify malicious domains and websites. This project aims to develop an innovative active defence system to effectively identify malicious Internet domains and websites. It can secure the cyberspace that is essential to the daily work of Australian people, thus addresses a fundamental problem in safeguarding Australia from cyber crime and terrorism.
Art of Peace: New perspectives in visual art on peacekeeping from the 1990s. Art of Peace investigates the important role of art in Australia’s engagement in international peacekeeping. Australian artists such as George Gittoes and Wendy Sharpe have created powerful and memorable images of Australian forces as peacekeepers and nation-builders. Yet, what of the less-visible perspectives of artists from the countries to which Australia sends peacekeepers? Art of Peace will create new knowledge aro ....Art of Peace: New perspectives in visual art on peacekeeping from the 1990s. Art of Peace investigates the important role of art in Australia’s engagement in international peacekeeping. Australian artists such as George Gittoes and Wendy Sharpe have created powerful and memorable images of Australian forces as peacekeepers and nation-builders. Yet, what of the less-visible perspectives of artists from the countries to which Australia sends peacekeepers? Art of Peace will create new knowledge around those artists’ perceptions of peacekeeping missions, through a new body of scholarship, public engagement and an exhibition in Perth and Sydney curated by Art Gallery of WA. It engages a national audience to focus on the important role of Australia in international affairs since 1990 through new contemporary art.Read moreRead less
Art in conflict: transforming contemporary art at Australian War Memorial. This project aims to investigate conflicts and compromises arising within official schemes for commissioning Australian contemporary war art, in partnership with the Australian War Memorial (AWM). The AWM has built on its Official War Artist scheme to transform the commissioning of war art, engaging high profile contemporary artists to produce often challenging work. This project will focus on this important yet under-res ....Art in conflict: transforming contemporary art at Australian War Memorial. This project aims to investigate conflicts and compromises arising within official schemes for commissioning Australian contemporary war art, in partnership with the Australian War Memorial (AWM). The AWM has built on its Official War Artist scheme to transform the commissioning of war art, engaging high profile contemporary artists to produce often challenging work. This project will focus on this important yet under-researched national collection of art, placing it at the centre of current discussions around contemporary art and war. The project seeks to continue to transform the AWM’s curatorial approaches and build an enduring digital archive of analysis and interpretation.Read moreRead less
Privacy preservation for personalised smart devices. The goal of this project is to build a privacy preservation framework for personalised smart devices with both immediate and long-term applications in a range of industries. The novel theoretical contributions include a privacy-preservation mechanism that guards against attacks by intelligent tools, a model and metrics that distinguish between object detection and object recognition, and allowing users to specify their desired level of privacy ....Privacy preservation for personalised smart devices. The goal of this project is to build a privacy preservation framework for personalised smart devices with both immediate and long-term applications in a range of industries. The novel theoretical contributions include a privacy-preservation mechanism that guards against attacks by intelligent tools, a model and metrics that distinguish between object detection and object recognition, and allowing users to specify their desired level of privacy guarantee. Practically, these solutions have clear economic and public-safety benefits. The solutions will accelerate AI device development, advance smart technologies based on individual behaviours, and guarantee personal data privacy against both human attackers and adversarial algorithms. Read moreRead less
An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
The impact of location-specific urban digital social information networks and public displays on the City of Melbourne. The purpose of this project is to enhance the city as a vibrant destination by taking digital content and anchoring it in the physical world. The outcomes will be physical nodes of interaction in urban cultural hubs - e.g., museums, libraries, cafes - allowing users to post media, stories and events that are locally relevant for others to consume.
Precarious Movements: Choreography and the Museum. This project aims to interrogate the relationship between dance and visual art practices and institutions since the turn of the 21st century, developing solutions for emerging and associated challenges for artists and art workers. As a contemporary art form, dance innovates our museums and galleries by foregrounding challenging issues such as the dematerialization of art, the nature of creative labor, digital archives, experience as economy, and ....Precarious Movements: Choreography and the Museum. This project aims to interrogate the relationship between dance and visual art practices and institutions since the turn of the 21st century, developing solutions for emerging and associated challenges for artists and art workers. As a contemporary art form, dance innovates our museums and galleries by foregrounding challenging issues such as the dematerialization of art, the nature of creative labor, digital archives, experience as economy, and participatory aesthetics. Bringing academics, curators, conservators and artists from diverse institutions together, Precarious Movements stages a dialogue between dance artists and art institutions to support exemplary creative arts practices and the production of end user processes and protocols.Read moreRead less
Ambitious and Fair: Strategies for a sustainable visual arts sector. This project aims to strengthen the visual art industry’s economic ecosystem. In a context where artists’ incomes are low and falling, commercial galleries are financially vulnerable and public galleries face funding challenges, the project addresses barriers to the sector’s economic health and the challenge of improving artists’ incomes. To address this critical gap, the project will combine an analysis of current value chains ....Ambitious and Fair: Strategies for a sustainable visual arts sector. This project aims to strengthen the visual art industry’s economic ecosystem. In a context where artists’ incomes are low and falling, commercial galleries are financially vulnerable and public galleries face funding challenges, the project addresses barriers to the sector’s economic health and the challenge of improving artists’ incomes. To address this critical gap, the project will combine an analysis of current value chains and emergent forms of economic organisation with qualitative insights into the experiences of artists and arts professionals. It will propose interventions for arts industry and government policy to improve and develop this ecosystem. Benefits include improved incomes for arts workers and a sustainable arts industry.Read moreRead less