Laurens Lemaire

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 7

Top Topics

Security Analysis

Automatically Generate

Top Venues

Autom. Control. Comput. Sci.

ESSoS Doctoral Symposium

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Laurens Lemaire, Jan Vossaert, Bart De Decker, Vincent Naessens
Security Evaluation of Cyber-Physical Systems Using Automatically Generated Attack Trees. CRITIS (2017)
Laurens Lemaire, Jan Vossaert, Joachim Jansen, Vincent Naessens
A logic-based framework for the security analysis of Industrial Control Systems. Autom. Control. Comput. Sci. 51 (2) (2017)
Laurens Lemaire, Jan Vossaert, Bart De Decker, Vincent Naessens
Extending FAST-CPS for the Analysis of Data Flows in Cyber-Physical Systems. MMM-ACNS (2017)
Laurens Lemaire, Jan Vossaert, Bart De Decker, Vincent Naessens
An Assessment of Security Analysis Tools for Cyber-Physical Systems. RISK (2016)
Laurens Lemaire, Jan Vossaert, Joachim Jansen, Vincent Naessens
Extracting Vulnerabilities in Industrial Control Systems using a Knowledge-Based System. ICS-CSR (2015)
Laurens Lemaire, Jan Vossaert, Vincent Naessens
Secure remote access to an industrial generator with mobile devices. WCICSS (2015)
Koen Decroix, Jorn Lapon, Laurens Lemaire, Bart De Decker, Vincent Naessens
Formal Reasoning About Privacy and Trust in Loyalty Systems. BIS (Workshops) (2015)
Laurens Lemaire, Jorn Lapon, Vincent Naessens
An Architecture for the Analysis and Management of Security in Industrial Control Systems. ESSoS Doctoral Symposium (2014)
Laurens Lemaire, Jorn Lapon, Bart De Decker, Vincent Naessens
A SysML Extension for Security Analysis of Industrial Control Systems. ICS-CSR (2014)