Staff Lead researchers Dr Erisa Karafili Associate Professor Research interests Formal methods techniques applied to security problems Attributing and investigating Cyber Attacks Threat Models for IoT devices and Hybrid systems Connect with Erisa Email: [email protected] Collaborating research institutes, centres and groups Cyber Security We bring together expertise and excellence in the field of cyber security research and education. Research outputs