XClose

UCL Computer Science

Menu

InfoSec seminar: A formal approach to cyber-physical attacks

03 May 2018, 4:00 pm–5:00 pm

Professor Luca Viganò from King’s College London will be talking about applying formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks, focusing on integrity and DoS attacks to sensors and actuators of CPSs, and on the timing aspects of these attacks.

Event Information

Open to

All

Organiser

Vasilios Mavroudis

Location

Room 421
Robert's Engineering Building
Malet Place
London
WC1E 7JE
United Kingdom

We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks. We focus on integrity and DoS attacks to sensors and actuators of CPSs, and on the timing aspects of these attacks. Our contributions are threefold: (1) we define a hybrid process calculus to model both CPSs and cyber-physical attacks. (2) we define a threat model of cyber-physical attacks and provide the means to assess attack tolerance/vulnerability with respect to a given attack. (3) we formalise how to estimate the impact of a successful attack on a CPS and investigate possible quantifications of the success chances of an attack. We illustrate definitions and results by means of a non-trivial engineering application.

Visitors from outside UCL please email in advance.

About the Speaker

Professor Luca Viganò

Vice Dean (External Relations) of the Faculty of Natural & Mathematical Sciences at King’s College London

Professor Luca Viganò is Vice Dean (External Relations) of the Faculty of Natural & Mathematical Sciences at King’s College London and Professor of Computer Science at the Department of Informatics, where he heads the Cybersecurity group. His research focuses on formal methods and tools for the design, modelling, analysis, verification and testing of networks and systems in order to tackle cybersecurity and privacy problems that are important to industry, society and everyone living in a technologically dependent world.