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
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.
How mixed language input affects child language development: case studies from Central Australia. Case studies of three Aboriginal communities (Gurindji at Victoria River Downs, Alyawarr at Epenarra, Warumungu at Tennant Creek) will identify: (i) the language input young children receive from traditional indigenous languages, Kriol and English varieties, and from code-switching involving these languages (ii) the effect on first language acquisition; (iii) the processes of language shift and mai ....How mixed language input affects child language development: case studies from Central Australia. Case studies of three Aboriginal communities (Gurindji at Victoria River Downs, Alyawarr at Epenarra, Warumungu at Tennant Creek) will identify: (i) the language input young children receive from traditional indigenous languages, Kriol and English varieties, and from code-switching involving these languages (ii) the effect on first language acquisition; (iii) the processes of language shift and maintenance resulting from multilingual environments, and consequent transmission or loss of target languages, and emergence of new mixed languages. This is an unexplored area of bilingual first language acquisition, and has theoretical implications for language shift, and practical applications for language maintenance.Read moreRead less
Minds, Bodies, Machines: a cultural and intellectual history of technologies in the 21st century. This project benefits the intellectual and cultural life of the nation by establishing a unique dialogue between the I.T. community and University researchers in the humanities and social sciences. Using an
interdisciplinary methodology to explore technologically-driven social change across a period of more than two hundred years, the project will generate new and fresh ways of thinking about emerg ....Minds, Bodies, Machines: a cultural and intellectual history of technologies in the 21st century. This project benefits the intellectual and cultural life of the nation by establishing a unique dialogue between the I.T. community and University researchers in the humanities and social sciences. Using an
interdisciplinary methodology to explore technologically-driven social change across a period of more than two hundred years, the project will generate new and fresh ways of thinking about emerging areas of intense debate and controversy, such as humanoid robotics and artificial intelligence. The dialogue we propose will foster an environment of enhanced innovation, one in which knowledge translates directly and indirectly into social and economic benefits.Read moreRead less
The Moral and Cultural Economy of Mobile Phones in the Pacific. Over the last decade, developing countries have experienced a digital revolution through the medium of the mobile phone. Basic handsets are now used for personal communication, social connection, internet access, electronic banking and money transfers. Through a comparative study of mobile telecommunications markets in Fiji and Papua New Guinea, this research will provide fresh insight into a transformative moment by examining how c ....The Moral and Cultural Economy of Mobile Phones in the Pacific. Over the last decade, developing countries have experienced a digital revolution through the medium of the mobile phone. Basic handsets are now used for personal communication, social connection, internet access, electronic banking and money transfers. Through a comparative study of mobile telecommunications markets in Fiji and Papua New Guinea, this research will provide fresh insight into a transformative moment by examining how companies, consumers and state actors shape the moral and cultural dimensions of economic life. The research will historically and ethnographically document the broad social consequences of new digital technologies in the Pacific region.Read moreRead less