Coen De Roover

Prevalence of Botched Code Integrations

2017

Integrating code from different sources can be an error-prone and effort-intensive process. While an integration may appear statically sound, unexpected errors may still surface at run time. The industry practice of continuous integration aims to …

Compositional Information Flow Analysis for WebAssembly Programs

2020

WebAssembly is a new W3C standard, providing a portable target for compilation for various languages. All major browsers can run WebAssembly programs, and its use extends beyond the web: there is interest in compiling cross-platform …

Control and Data Flow in Security Smell Detection for Infrastructure as Code: Is It Worth the Effort?

2023

Infrastructure as Code is the practice of developing and maintaining computing infrastructure through executable source code. Unfortunately, IaC has also brought about new cyber attack vectors. Prior work has therefore proposed static analyses that detect …