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. In my PhD studies, I focus on my research interests which include software engineering and security.

Publications

  1. TCHES
    RDS: FPGA Routing Delay Sensors for Effective Remote Power Analysis Attacks
    David Spielmann, Ognjen Glamočanin, Mirjana Stojilović
    IACR Transactions on Cryptographic Hardware Embedded Systems 198 (2), 2023
  2. CONFLANG
    ProTI
    Creed for Speed: Comprehensive Infrastructure as Code Testing
    Presentation at the CONFLANG 2023 workshop, 2023
  3. 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, 2023