InfoSec seminar: A formal approach to cyber-physical attacks
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.
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.
Professor Luca Viganò
Vice Dean (External Relations) of the Faculty of Natural & Mathematical Sciences
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.
