David Spielmann

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 6

Top Topics

Concurrent Programs

Symbolic Execution

Top Venues

IACR Trans. Cryptogr. Hardw. Embed. Syst.

IACR Cryptol. ePrint Arch.

Publications

Daniel Sokolowski, David Spielmann, Guido Salvaneschi
The PIPr Dataset of Public Infrastructure as Code Programs. MSR (2024)
Daniel Sokolowski, David Spielmann, Guido Salvaneschi
Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code. ICSE Companion (2024)
Daniel Sokolowski, David Spielmann, Guido Salvaneschi
Automated Infrastructure as Code Program Testing. IEEE Trans. Software Eng. 50 (6) (2024)
David Spielmann, Ognjen Glamocanin, Mirjana Stojilovic
RDS: FPGA Routing Delay Sensors for Effective Remote Power Analysis Attacks. IACR Cryptol. ePrint Arch. 2023 (2023)
David Spielmann, Ognjen Glamocanin, Mirjana Stojilovic
RDS: FPGA Routing Delay Sensors for Effective Remote Power Analysis Attacks. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023 (2) (2023)
David Spielmann, Daniel Sokolowski, Guido Salvaneschi
Extensible Testing for Infrastructure as Code. SPLASH Companion (2023)