Linkage Projects - Grant ID: LP140100437

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/LP140100437

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 27-05-2015

End Date: 31-12-2019

Funding Scheme: Linkage Projects

Funding Amount: $405,591.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Programming Languages | Computer Software | Computer System Security

ANZSRC Socio-Economic Objective (SEO)

Computer Software and Services not elsewhere classified |

Other Keywords

Computer Software | Computer Software and Services not elsewhere classified | Computer System Security | Programming Languages

Related Links