Publications

Felix Mächtle, Nils Loose, Tim Schulz, Florian Sieck, Jan-Niclas Serr, Ralf Möller, Thomas Eisenbarth (2026). Trace Gadgets: Minimizing Code Context for Machine Learning-Based Vulnerability Prediction. 21st ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2026).
Cite
Nils Loose, Florian Sieck, Felix Mächtle, Thomas Eisenbarth (2026). SWAT: Improvements to the symbolic executor (competition contribution). Tools and Algorithms for the Construction and Analysis of Systems – 32nd International Conference (TACAS 2026).
Cite
Felix Mächtle, Jan-Niclas Serr, Nils Loose, Thomas Eisenbarth (2026). DASA: Fully Gradient-based Program Analysis (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems – 32nd International Conference (TACAS 2026).
Cite
Nils Loose, Nico Winkel, Kristoffer Hempel, Felix Mächtle, Julian Hans, Thomas Eisenbarth (2026). Coverage-Guided Multi-Agent Harness Generation for Java Library Fuzzing. ACM/IEEE International Workshop on Search-Based and Fuzz Testing (SBFT 2026).
Cite
Felix Mächtle, Jan-Niclas Serr, Nils Loose, Thomas Eisenbarth (2026). Beyond Accuracy: Characterizing Code Comprehension Capabilities in (Large) Language Models. IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning (DeepTest@ICSE 2026).
Cite
Felix Mächtle, Nils Loose, Tim Schulz, Florian Sieck, Jan-Niclas Serr, Ralf Möller, Thomas Eisenbarth (2025). Trace Gadgets: Minimizing Code Context for Machine Learning-Based Vulnerability Prediction. arXiv preprint arXiv:2504.13676.
Cite
Felix Mächtle, Ashwath Shetty, Jonas Sander, Nils Loose, Sören Pirk, Thomas Eisenbarth (2025). Prompt Pirates Need a Map: Stealing Seeds helps Stealing Prompts.
Cite arXiv URL
Felix Mächtle, Jan-Niclas Serr, Nils Loose, Jonas Sander, Thomas Eisenbarth (2025). OCEAN: Open-World Contrastive Authorship Identification. Applied Cryptography and Network Security (ACNS) 2025.
Cite
Felix Mächtle, Jan-Niclas Serr, Nils Loose, Jonas Sander, Thomas Eisenbarth (2025). OCEAN: Open-World Contrastive Authorship Identification. To be published at ACNS 2025.
Cite
Felix Mächtle, Nils Loose, Jan-Niclas Serr, Jonas Sander, Thomas Eisenbarth (2025). AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution. Proceedings of the 18th ACM/IEEE International Workshop on Search-Based and Fuzz Testing (SBFT 2025).
Cite