Detection by Learning Software Models

A new cyber security research project at University of Edinburgh’s School of Informatics in collaboration with Edinburgh Parallel Computing Centre and British Telecom Labs in Adastral Park.


Open PhD Position!

We have a PhD Studentship sponsored by BT Labs available now at the University of Edinburgh (start date Q1 2018).

This project will combine methods from machine learning and formal verification, to automatically learn precise semantic models of software and devices which describe normal traffic patterns and logging behaviours. Then anomalous, potentially malicious behaviours stand out as being different to these learned behaviours. The aim is to help manage and automatically configure application-level firewalls. This project is supported by a CASE studentship with British Telecommunications PLC and involves internships at BT Labs Adastral.

For details of application procedure, please see the Informatics Security and Privacy PhD page.

Quick ads:

To discuss this PhD position further, please contact David Aspinall.