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
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
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
Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and ....Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and techniques. The expected outcomes include novel software, verified by industry partners in real world case studies, ranging from life sciences to hypersonic transport. This should provide significant benefits, including the capacity for Australian industries to access world-class supercomputing technology.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0668542
Funder
Australian Research Council
Funding Amount
$425,000.00
Summary
Multimedia Computing, Production, Management and Distribution for HDTV and its Applications. Australia is the first country to launch digital TV nationally. Increasingly, this platform will be used for consuming multimedia information; also the HDTV infrastructure is being applied to other domains such as telemedicine/e-Health to lower costs and improve effectiveness. For Australia to be a step ahead in the development of these applications that are beneficial to a wider community, we have to lo ....Multimedia Computing, Production, Management and Distribution for HDTV and its Applications. Australia is the first country to launch digital TV nationally. Increasingly, this platform will be used for consuming multimedia information; also the HDTV infrastructure is being applied to other domains such as telemedicine/e-Health to lower costs and improve effectiveness. For Australia to be a step ahead in the development of these applications that are beneficial to a wider community, we have to look forward and establish adequate infrastructure for the development of needed applications of the future. It is strongly believed that by doing so we can position ourselves ahead of other communities in anticipating and providing essential services to our modern society and this in turn will greatly benefit the Australian economy.Read moreRead less
The material cultures of early modern women's writing: editing, reception and mediation. This project provides the first comprehensive account of how early modern women's writing was produced and circulated from its original appearance to the present day. Changing the ways in which we read and value women's writing, it will produce new knowledge about early modern texts and their afterlives.
Cluster randomised control trial of an early childhood literacy intervention to improve literacy and language outcomes in preschool aged children. Reading failure disproportionately affects disadvantaged communities in Australia, with nearly 40% of poor children failing to read at the minimum reading benchmark in Grade three. Of more concern is the disturbing trend indicating that prior to first grade, socioeconomic status (SES) differences also exist in important antecedents of reading such as ....Cluster randomised control trial of an early childhood literacy intervention to improve literacy and language outcomes in preschool aged children. Reading failure disproportionately affects disadvantaged communities in Australia, with nearly 40% of poor children failing to read at the minimum reading benchmark in Grade three. Of more concern is the disturbing trend indicating that prior to first grade, socioeconomic status (SES) differences also exist in important antecedents of reading such as letter knowledge and phonological processing skills, yet there remains no universal program to promote early language and literacy practices in the primary care setting. We propose a cluster randomised controlled trial to evaluate the efficacy of a multi injection intervention to improve literacy outcomes of children in disadvantaged communities.Read moreRead less
Insect societies and social butterflies: natural history and sociability in the Romantic period. During the eighteenth century, the Pacific islands and New Holland replaced America as the testing ground for ideas about the state of natural man and the origins of society. In looking at Enlightenment ideas about the natural, the human, and the social, this project will help us to learn more about ourselves as the dominant species.
Mobile Indonesians: social differentiation and digital literacies in the twenty first century. This is the first dedicated study of the social implications of mobile telephony's recent and rapid popularisation throughout the country. This project will study metropolitan, urban and rural users to understand how mobile phones create the new and unexpected social networks which will shape tomorrow's Indonesians.
Australian Aboriginal conversational style. This project aims to re-examine claims that Aboriginal Australians conduct conversations in different ways to Anglo-Australians. It will investigate and compare ordinary conversations in these groups on a large scale. The project expects to provide new evidence to explicate Aboriginal and non-Aboriginal conversational norms, pinpointing differences which may lead to intercultural miscommunication. Expected outcomes include endangered language documenta ....Australian Aboriginal conversational style. This project aims to re-examine claims that Aboriginal Australians conduct conversations in different ways to Anglo-Australians. It will investigate and compare ordinary conversations in these groups on a large scale. The project expects to provide new evidence to explicate Aboriginal and non-Aboriginal conversational norms, pinpointing differences which may lead to intercultural miscommunication. Expected outcomes include endangered language documentation, and evidence-based findings to disseminate to service providers, to communities and to Aboriginal organisations to improve ways of engaging with each other. In addition, the project will benefit Aboriginal communities with new approaches to language revitalisation.Read moreRead less