We aim to engineer systems that are resilient to compromise across a broad range of applications ranging from embedded sensors for healthcare and wireless sensor networks, to cloud computing, large-scale networks and critical national infrastructures. To this end we use a variety of techniques including program analysis, protocol modelling, anomaly detection and machine learning, information theory, probabilistic graph structures and formal reasoning.

Contact: Dr Emil Lupu