Security and resilience of interdependent public infrastructure such as water and power, combining testbeds, formal models and attack simulation.
Security of critical infrastructure and industrial control systems, using a real-world water treatment testbed.
Security assessment of cyber-physical systems and wireless communication, from industrial control systems to secure ranging and GPS spoofing detection.