Event type:

In person

Date & time:

03 May 2018, 16:00 – 17:00

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.

Back to All Events

InfoSec seminar: A formal approach to cyber-physical attacks

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.

Further information

Ticketing

Open

Cost

Free

Open to

All

Organiser

Vasilios Mavroudis

v.mavroudis@cs.ucl.ac.uk