Fortifying Our Digital Economy: Advanced Automated Vulnerability Discovery

This project aims to enable security researchers to detect critical vulnerabilities in large software systems with
maximal efficiency, cost-effectively, and with statistical correctness guarantees. It expects to develop advanced
high-performance fuzzers that effectively thwart malware attacks, ransomware epidemics, and cyber terrorism by
exposing security flaws before they can be exploited. It employs a well-established statistical framework from
ecology to provide fundamental insights on boosting the efficiency of vulnerability discovery, and on the tradeoff
between investing more resources and gaining better guarantees. As our reliance on new technologies is ever
growing, this project equips Australia to curb cyber crime cost-effectively.