The Systems and Software Engineering research division engages in a wide range of university, government and industry-funded projects.

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.
  • Prof Ian J Hayes
  • Dr Christina Cifuentes
  • Dr Larissa Meinicke
  • Dr Lu Yi
Funding Bodies: 
  • Australian Research Council
  • Oracle Corporation Australia Pty

Total Funding: AU$380,000

Dates: 2014 to 2017