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
Unified analysis of steel and composite frame structures subjected to static, thermal, earthquake and blast loading. Understanding the science of extreme loading on engineering structures is essential for their design, and increasingly with terrorism threats there is a need for assessment and strengthening of identified vulnerable critical infrastructure. Rational design paradigms have not yet matured for extreme load scenarios, and they are much-needed to protect life, limb and amenity. Austral ....Unified analysis of steel and composite frame structures subjected to static, thermal, earthquake and blast loading. Understanding the science of extreme loading on engineering structures is essential for their design, and increasingly with terrorism threats there is a need for assessment and strengthening of identified vulnerable critical infrastructure. Rational design paradigms have not yet matured for extreme load scenarios, and they are much-needed to protect life, limb and amenity. Australian research is at the forefront in steel and composite structures, and this project will strengthen Australia's positioning in the discipline by developing transparent design and assessment procedures from an efficient algorithm that delivers hands-on guidance for engineering practitioners.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
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
Gamma-ray burst astronomy in the Swift era and beyond. The study of gamma-ray bursts is one of the most active and exciting fields in astrophysics, and touches on subjects that are of interest to all humans: e.g., to what extent was life on Earth shaped by cataclysmic explosions in our Galaxy? Australia's ROTSE-III telescope is the only facility in the southern hemisphere capable of rapidly (within 10 seconds) finding optical light from gamma-ray bursts. It will provide Australian astronomers ....Gamma-ray burst astronomy in the Swift era and beyond. The study of gamma-ray bursts is one of the most active and exciting fields in astrophysics, and touches on subjects that are of interest to all humans: e.g., to what extent was life on Earth shaped by cataclysmic explosions in our Galaxy? Australia's ROTSE-III telescope is the only facility in the southern hemisphere capable of rapidly (within 10 seconds) finding optical light from gamma-ray bursts. It will provide Australian astronomers with a competitive advantage in this high-profile field. The project will involve and inspire some of our best physics and engineering students.Read moreRead less
New quantitative methods in X-ray imaging using crystal optics. This project will enhance Australian science's international leadership in the area of x-ray imaging. This powerful type of X-ray imaging, which makes use of optical elements made of perfect crystals, is specially tailored to image samples which are invisible to conventional x-ray techniques. Such "extended x-ray vision" is extremely important for imaging in medicine, biology and materials science. Furthermore, we will train x-ray s ....New quantitative methods in X-ray imaging using crystal optics. This project will enhance Australian science's international leadership in the area of x-ray imaging. This powerful type of X-ray imaging, which makes use of optical elements made of perfect crystals, is specially tailored to image samples which are invisible to conventional x-ray techniques. Such "extended x-ray vision" is extremely important for imaging in medicine, biology and materials science. Furthermore, we will train x-ray scientists of tomorrow, whose expertise will allow Australia to capitalize on its investment in the Australian Synchrotron.Read moreRead less
High Precision Silicon Pixel Detectors for High Energy Physics , Synchrotron and Medical Imaging Applications. Australia participates actively in the frontier field of high-energy particle physics to understand the fundamental building blocks of matter, their origins and interactions. This field excites the best minds in the scientific world and provides excellent training. To maintain our position in this field we must continue the development of the powerful instrumentation required for high- ....High Precision Silicon Pixel Detectors for High Energy Physics , Synchrotron and Medical Imaging Applications. Australia participates actively in the frontier field of high-energy particle physics to understand the fundamental building blocks of matter, their origins and interactions. This field excites the best minds in the scientific world and provides excellent training. To maintain our position in this field we must continue the development of the powerful instrumentation required for high-energy experiments. This project will satisfy that role. The application of particle detector expertise to state-of-the-art X-ray imaging detectors for the Australian Synchrotron and medical imaging is a perfect example of fundamental science tools applied to other fields. Australian Synchrotron experiments stand to gain much.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0453432
Funder
Australian Research Council
Funding Amount
$257,250.00
Summary
Support for the Australian Experimental High Energy Physics Program. High energy particle physics studies the most fundamental constituents of matter. This microscopic frontier requires the highest energy and highest intensity particle accelerators. Through the Big Bang Model, high energy physics also sheds light on the development of the very early Universe. It is thus crucial for the understanding of nature at the very largest of scales as well as the very smallest.The ATLAS and Belle experime ....Support for the Australian Experimental High Energy Physics Program. High energy particle physics studies the most fundamental constituents of matter. This microscopic frontier requires the highest energy and highest intensity particle accelerators. Through the Big Bang Model, high energy physics also sheds light on the development of the very early Universe. It is thus crucial for the understanding of nature at the very largest of scales as well as the very smallest.The ATLAS and Belle experiments probe two of the most significant questions in fundamental physics: what is the origin of mass, and why do we live in a universe composed of matter rather than antimatter? This proposal seeks support to maintain access to the international high energy physics program in Europe and Japan.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0230224
Funder
Australian Research Council
Funding Amount
$220,255.00
Summary
Support for the Australian Experimental High Energy Physics Program. High energy particle physics studies the most fundamental constituents of matter. This microscopic frontier requires the highest energy and highest intensity particle accelerators. Through the Big Bang Model, high energy physics also sheds light on the development of the very early Universe. It is thus crucial for the understanding of nature at the very largest of scales as well as the very smallest. The ATLAS and Belle experim ....Support for the Australian Experimental High Energy Physics Program. High energy particle physics studies the most fundamental constituents of matter. This microscopic frontier requires the highest energy and highest intensity particle accelerators. Through the Big Bang Model, high energy physics also sheds light on the development of the very early Universe. It is thus crucial for the understanding of nature at the very largest of scales as well as the very smallest. The ATLAS and Belle experiments probe two of the most significant questions in fundamental physics: what is the origin of mass, and why do we live in a universe composed of matter rather than antimatter? This proposal seeks support to maintain access to the international high energy physics program in Europe and Japan.Read moreRead less