MSc David Spielmann

MSc David Spielmann

MSc David Spielmann
david.spielmann@unisg.ch
david-spielmann-74a10919a
0009-0004-1715-2059
DaSpielmann
davidspielmann

School of Computer Science
Torstrasse 25
9000 St. Gallen, Switzerland

I joined the Programming Group as a PhD student in May 2023. I obtained my Bachelor’s degree in Computer Science from ETH Zurich and a joint Master’s degree from ETH Zurich and EPF Lausanne with a focus on security and distributed systems. As part of my Master’s thesis, I used to examine power side-channel attacks on remotely accessible FPGAs. My current research interests encompass software engineering and security, with a particular focus on improving the reliability of Infrastructure as Code (IaC) to ensure robust and consistent cloud deployments.

Publications

  1. TSE
    ProTI
    Automated Infrastructure as Code Program Testing
    IEEE Transactions on Software Engineering, 2024
  2. ICSE Companion
    ProTI
    Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code
    In Companion Proceedings of the 46th International Conference on Software Engineering, ICSE Companion, 2024
  3. MSR
    The PIPr Dataset of Public Infrastructure as Code Programs
    In Proceedings of the IEEE/ACM 21st International Conference on Mining Software Repositories, MSR, 2024
  4. TCHES
    RDS: FPGA Routing Delay Sensors for Effective Remote Power Analysis Attacks
    David Spielmann, Ognjen Glamočanin, Mirjana Stojilović
    IACR Transactions on Cryptographic Hardware and Embedded Systems 198 (2), 2023
  5. CONFLANG
    ProTI
    Creed for Speed: Comprehensive Infrastructure as Code Testing
    Presentation at the CONFLANG 2023 workshop, 2023
  6. SPLASH Companion
    ProTI
    Extensible Testing for Infrastructure as Code
    In Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion, 2023