Browsing by Author "Lemaire, Laurens"

Now showing 1 - 6 of 6

A logic-based framework for the security analysis of industrial control systems

Lemaire, Laurens
;
Vossaert, Jan
;
Jansen, Joachim
;
Naessens, Vincent
Journal article
2017, Automatic Control and Computer Sciences, 51, p.114-123
An assessment of security analysis tools for cyber-physical systems

Lemaire, Laurens
;
Vossaert, Jan
;
De Decker, Bart
;
Naessens, Vinent
Proceedings paper
2019, RISK 2016: Risk Assessment and Risk-Driven Quality Assurance pp 66-81, 18/10/2017, p.66-81
CPS security assessment using automatically generated attack trees

Depamelaere, Wouter
;
Lemaire, Laurens
;
Vossaert, Jan
;
Naessens, Vincent
Proceedings paper
2018, 5th International Symposium for ICS & SCADA Cyber Security Research 2018 (ICS-CSR 2018), 29/08/2018, p.1-10
Extending FAST-CPS for the analysis of data flows in cyber-physical systems

Lemaire, Laurens
;
Vossaert, Jan
;
De Decker, Bart
;
Naessens, Vincent
Proceedings paper
2017, MMM-ACNS 2017: Computer Network Security, 28/08/2017, p.37-49
FAST-CPS: A Framework for the Analysis and Management of Security in Cyber-Physical Systems

Lemaire, Laurens
PHD thesis
2018-03
Security evaluation of cyber-physical systems using automatically generated attack trees

Lemaire, Laurens
;
Vossaert, Jan
;
De Decker, Bart
;
Naessens, Vincent
Proceedings paper
2018, CRITIS 2017: Critical Information Infrastructures Security, 9/10/2017, p.225-228