Aarhus University Seal / Aarhus Universitets segl

Assurance of cyber-security for industrial control systems-building secure control systems by design

PhD defence, Monday 19 October 2020. Tomas Kulik.

2020.10.19 | Sunitha Satkunam

Tomas Kulik

During his PhD studies, Tomas Kulik researched the cyber-security assurance for industrial control systems. Industrial control systems often control physical processes of critical nature and in recent years have been gaining connectivity to the Internet and the cloud.  Tomas Kulik studied how can cyber-security  for cloud connected industrial control systems can be guaranteed using formal methods (methods based on mathematics) to ensure the benefits of cloud computing are accessible to these systems, while malicious actors are prevented from manipulating them. 

The study has provided understanding of application of different formal methods in order to analyse how potential cyber attacks could be defeated and how cyber-security standard compliance could be assessed early in the design process of the system.

The PhD study was completed at the Department of Engineering, Faculty of Technical Sciences, Aarhus University.

This summary was prepared by the PhD student.

Time: Monday 19 October 2020 at 13:00
Place: The PhD defence will be held online. To receive a link to the event, please send an e-mail to Tomas Kulik, tomaskulik@eng.au.dk
Title of PhD thesis: Provabe Cyber-Security for Industrial Control Systems
Contact information: Tomas Kulik, e-mail: tomaskulik@eng.au.dk, tel.: +45 26238775
Members of the assessment committee:
Associate Professor Erik Poll, Institute for Computing and Information Sciences, Radboud University Nijmegen, Netherlands
Associate Professor René Rydhof Hansen, Department of Computer Science, Aalborg University, Denmark
Associate Professor Stefan Hallerstede (chairman), Department of Engineering, Aarhus University, Denmark
Main supervisor:
Professor Peter Gorm Larsen, Department of Engineering, Aarhus University, Denmark
Language: The PhD dissertation will be defended in English

The defence is public.

Due to the coronavirus situation, the PhD thesis will not be available for reading at the offices of the PhD administration. Instead, interested parties may send an e-mail to gradschool.tech@au.dk to receive a digital copy of the PhD thesis. Please note, it may in certain cases be necessary to make an individual arrangement to read the PhD thesis.

PhD defence
17427 / i43