ACE Seminar: A Formal Approach to Cyber-Physical Attacks

Speaker: Luca Viganò

Date/Time: 03-May-2018, 16:00 UTC

Venue: Roberts 421



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.



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.

Add to Calendar

This page was last modified on 27 Mar 2014.