International Association
for Cryptologic Research

Based within Lancaster University’s institution-wide research centre, Security Lancaster, which is one of the UK’s Academic Centres of Excellence in Cyber Security Research. You will join a major programme of work on cyber security of industrial control systems currently in progress through a number of research projects. Specifically, you will be part of the EPSRC-Chist-ERA programme funded project DYPOSIT: Dynamic Policies for Shared Cyber-Physical Infrastructures Under Attack. The project will commence on 1 December 2015 and is being undertaken in collaboration with Katholieke Universiteit Leuven, Belgium and University College Cork, Ireland.

You will conduct in depth research into security policy models for CPS under attack. Working in collaboration with project partners, develop a dynamic policies model and associated reasoning techniques and policy instantiation mechanisms. You will also develop a framework which enables collection of information to reason about the security state of a CPS and enforcement of dynamic policies. You will also take a leading role in the evaluation of the research outcomes. An extensive real-world testbed for security of industrial control systems (representing complex CPS in such settings) is already available within Security Lancaster. The postholder will utilise and configure the testbed with suitable scenarios and configurations for use in experimental work within the project. S/he will also take a leading role in the design and execution of experiments within the testbed.