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
Jens Alich, Thomas Eisenbarth, Hossein Hadipour, Gregor Leander, Felix Mächtle, Yevhen Perehuda, Shahram Rasoolzadeh, Jonas Sander, Cihangir Tezcan (2025). Attacks and Remedies for Randomness in AI: Cryptanalysis of PHILOX and THREEFRY.
Cite URL
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.
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