PhD in Computer Science - Security Verification of Dynamic Infrastructure Clouds (CS033) - School of Computing Science (Full-time)

Cloud computing is becoming prevalent. Yet, how do we know that computing delivered as a service is secure? Cloud infrastructures often consist of vast networks of hypervisors, virtual machines, (virtual) LANs and hard disks. As if this complex configuration is not troubling enough, it is constantly changing, sometimes fiddled with by one administrator, and sometimes banged up by another administrator. Indeed, it is an interesting and challenging question whether the dynamic configuration changes get along with each other and still maintain overall security. This project explores efficient analysis and validation of dynamically changing infrastructure clouds.

You should have either a First class honours degree in Computing Science, Mathematics, or other relevant science or engineering subject, or a or 2.1 in Computing Science, Mathematics or other relevant science or engineering subject and a distinction level Masters degree in a related subject. Equivalent experience will also be considered.