Publications

Felix Mächtle, Nils Loose, Jan-Niclas Serr, Jonas Sander, Thomas Eisenbarth (2025). AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution. To be published at SBFT 2025.
Cite
Nils Loose, Felix Mächtle, Florian Sieck, Thomas Eisenbarth (2024). SWAT: Modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution). International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
PDF Cite Code DOI
Georg Becker, Thomas Eisenbarth, Hannes Federrath, Mathias Fischer, Nils Loose, Simon Ott, Joana Pecholt, Stephan Marwedel, Dominik Meyer, Jan Stijohann, Others (2024). SOVEREIGN-towards a holistic approach to critical infrastructure protection. Proceedings of the 19th International Conference on Availability, Reliability and Security.
Cite
Felix Mächtle, Jan-Niclas Serr, Nils Loose, Jonas Sander, Thomas Eisenbarth (2024). OCEAN: Open-World Contrastive Authorship Identification. arXiv preprint arXiv:2412.05049.
Cite
Nils Loose, Felix Mächtle, Claudius Pott, Volodymyr Bezsmertnyi, Thomas Eisenbarth (2023). Madvex: Instrumentation-Based Adversarial Attacks on Machine Learning Malware Detection. International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment.
Cite