Extensible Testing for Infrastructure as Code. - David Spielmann; Daniel Sokolowski; Guido Salvaneschi (SPLASH Companion, 2023)

RDS: FPGA Routing Delay Sensors for Effective Remote Power Analysis Attacks. - David Spielmann; Ognjen Glamocanin; Mirjana Stojilovic (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023)

Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code. - Daniel Sokolowski; David Spielmann; Guido Salvaneschi (ICSE Companion, 2024)

The PIPr Dataset of Public Infrastructure as Code Programs. - Daniel Sokolowski; David Spielmann; Guido Salvaneschi (MSR, 2024)

Automated Infrastructure as Code Program Testing. - Daniel Sokolowski; David Spielmann; Guido Salvaneschi (IEEE Trans. Software Eng., 2024)

TerraDS: A Dataset for Terraform HCL Programs. - Christoph Bühler; David Spielmann; Roland Meier; Guido Salvaneschi (MSR, 2025)