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
Special Research Initiatives - Grant ID: SR0354636
Funder
Australian Research Council
Funding Amount
$30,000.00
Summary
Australian Computational Molecular Science Network. Computational Molecular Science (CMS) involves the use of theory and computational methods to simulate and visualise molecular systems ranging from small atmospheric species to proteins, nucleic acids, chemical polymers and materials. It represents our most incisive expression of what we understand about the molecular basis of nature. The CMS network will integrate and cross-fertilize both fundamental and application-based expertize in molecula ....Australian Computational Molecular Science Network. Computational Molecular Science (CMS) involves the use of theory and computational methods to simulate and visualise molecular systems ranging from small atmospheric species to proteins, nucleic acids, chemical polymers and materials. It represents our most incisive expression of what we understand about the molecular basis of nature. The CMS network will integrate and cross-fertilize both fundamental and application-based expertize in molecular scale computations in the fields of nanoscience, biomaterials, biotechnology, biomedical science and environmental science. It will uncover and explore critical new interdisciplinary science and create new molecular-based paradigms that will drive advances in these fields over the next decade.Read moreRead less
ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By ge ....ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By generating an explosion of new approaches and knowledge, the network will build Australia's reputation as a leader in communication science and technology via advances in automatic speech recognition, distress call monitoring, hearing prostheses, web interfaces, and data retrieval and data mining systems.Read moreRead less
Special Research Initiatives - Grant ID: SR0354513
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
The Computational Processing of Human Language. Language is what makes us distinctly human; consequently, language attracts interest from many fields of research, particularly linguistics, psychology, and cognitive science. Moreover, language is the primary medium for the storage and dissemination of knowledge, a fact that has drawn many computer scientists to attempt to process, analyse and understand language. This network will bridge the many disciplines that are concerned with language, ex ....The Computational Processing of Human Language. Language is what makes us distinctly human; consequently, language attracts interest from many fields of research, particularly linguistics, psychology, and cognitive science. Moreover, language is the primary medium for the storage and dissemination of knowledge, a fact that has drawn many computer scientists to attempt to process, analyse and understand language. This network will bridge the many disciplines that are concerned with language, explore new ways in which computational models inform our understanding of human languages, and exploit new opportunities for applying theories of language in the development of human language technologies.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE160100051
Funder
Australian Research Council
Funding Amount
$3,000,000.00
Summary
Maintaining and enhancing merit-based access to the NCI National Facility. Maintaining and enhancing merit-based access to the national computational infrastructure facility:
This project aims to ensure that Australian researchers have access to the integrated high-performance computing and data environments they need. Australia’s national computational infrastructure (NCI) is the national, high-end research computing facility, providing researchers in universities, government science agencies ....Maintaining and enhancing merit-based access to the NCI National Facility. Maintaining and enhancing merit-based access to the national computational infrastructure facility:
This project aims to ensure that Australian researchers have access to the integrated high-performance computing and data environments they need. Australia’s national computational infrastructure (NCI) is the national, high-end research computing facility, providing researchers in universities, government science agencies and industry with world-class, integrated, high-performance services. These services enable high-impact, data-intensive computational research in all fields of science and technology. This project would continue merit-based access to NCI at the current level, ensuring ongoing international competitiveness of Australian research.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE120100181
Funder
Australian Research Council
Funding Amount
$650,000.00
Summary
Strengthening merit-based access and support at the new National Computing Infrastructure petascale supercomputing facility. World-leading high-performance computing is fundamental to Australia's international research success. This facility will provide access to the new National Computational Infrastructure facility by world-leading researchers from six research universities, and sustain ground-breaking work in an increasingly competitive environment.