The review of the TEWI colloquia of Dr. Dimitrios Serpanos from March 9, 2017 comprises the video recording and slides.

Video:

No correct api key set in Bitmovin Settings.

 

Slides:

 

Abstract and Bio:

Industrial control systems (ICS) control and manage a significant portion of critical infrastructure. As cyberattacks increasingly target critical infrastructure, ICS security and resilience are required to avoid catastrophic events that may lead even to loss of life. Importantly, ICS differ from traditional IT systems in several ways, from interacting with physical processes to requirements for continuous operation and real-time processing.

In this talk, we present a behavior-based approach to the design of secure and resilient industrial control systems. Starting with a programmable specification of a control process, we develop executable code with specified security properties. A run-time middleware, ARMET, monitors the execution of the program, identifying behavioral deviations due to intrusions or process failures and leading to diagnosis and system recovery. Importantly, our approach includes a novel method for vulnerability analysis of processes.

Dimitrios Serpanos is Professor of Electrical and Computer Engineering, University of Patras and Director of the Industrial Systems Institute in Greece. He has worked at IBM Research, on the faculties of the University of Crete and the University of Patras, as Principal Scientist at QCRI, as President of the University of Western Greece, and has served another term as Director of the Industrial Systems Institute. He holds a Ph.D. in Computer Science from Princeton University. His research is in embedded systems, industrial systems and security.
Professor Serpanos has co-authored several books and published research work extensively. His research has been funded by both the European Commission, the Greek Government and industry in the EU and the USA.