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
Design tools for optimising data centre layout to minimise energy usage. Data centres are major consumers of energy worldwide, mainly through the need to cool the equipment. It has become imperative to develop the science for reducing this consumption. Rising computing demand, increasing power density, and increasing infrastructure and energy costs are major issue for data centres around the world. Our research will provide a powerful alternative to conventional thermal management techniques for ....Design tools for optimising data centre layout to minimise energy usage. Data centres are major consumers of energy worldwide, mainly through the need to cool the equipment. It has become imperative to develop the science for reducing this consumption. Rising computing demand, increasing power density, and increasing infrastructure and energy costs are major issue for data centres around the world. Our research will provide a powerful alternative to conventional thermal management techniques for cooling high-density heat loads in mixed-density environments. We will address the key issue of energy minimisation through a detailed flow analyses by the use of numerical simulations and optimisation algorithms.Read moreRead less