Stitching the Gadgets: On the Ineffectiveness of Coarse-Grained Control-Flow Integrity Protection. - Lucas Davi; Ahmad-Reza Sadeghi; Daniel Lehmann 002; Fabian Monrose (USENIX Security Symposium, 2014)

Automatic testing of interactive JavaScript debuggers. - Daniel Lehmann 002 (SPLASH (Companion Volume), 2017)

Feedback-directed differential testing of interactive debuggers. - Daniel Lehmann 002; Michael Pradel (ESEC/SIGSOFT FSE, 2018)

Wasabi: A Framework for Dynamically Analyzing WebAssembly. - Daniel Lehmann 002; Michael Pradel (ASPLOS, 2019)

Interactive metamorphic testing of debuggers. - Sandro Tolksdorf; Daniel Lehmann 002; Michael Pradel (ISSTA, 2019)

Differential regression testing for REST APIs. - Patrice Godefroid; Daniel Lehmann 002; Marina Polishchuk (ISSTA, 2020)

Everything Old is New Again: Binary Security of WebAssembly. - Daniel Lehmann 002; Johannes Kinder; Michael Pradel (USENIX Security Symposium, 2020)

An Empirical Study of Real-World WebAssembly Binaries: Security, Languages, Use Cases. - Aaron Hilbig; Daniel Lehmann 002; Michael Pradel (WWW, 2021)

Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly. - Daniel Lehmann 002; Martin Toldam Torp; Michael Pradel (CoRR, 2021)

Finding the dwarf: recovering precise types from WebAssembly binaries. - Daniel Lehmann 002; Michael Pradel (PLDI, 2022)

Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly. - Alan Romano; Daniel Lehmann 002; Michael Pradel; Weihang Wang 001 (SP, 2022)

Program analysis of WebAssembly binaries. - Daniel Lehmann 002 (2022)

Analyse von WebAssembly-Binärprogrammen. - Daniel Lehmann 002 (Ausgezeichnete Informatikdissertationen, 2022)

That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. - Daniel Lehmann 002; Michelle Thalakottur; Frank Tip; Michael Pradel (ISSTA, 2023)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks. - Doehyun Baek; Jakob Getz; Yusung Sim; Daniel Lehmann 002; Ben L. Titzer; Sukyoung Ryu; Michael Pradel (Proc. ACM Program. Lang., 2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay. - Doehyun Baek; Daniel Lehmann 002; Ben L. Titzer; Sukyoung Ryu; Michael Pradel (CoRR, 2025)