Publications | Felix Mächtle https://mchtl.de/publication/ Publications Hugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000 https://mchtl.de/media/icon_hu_401a7186002e7026.png Publications https://mchtl.de/publication/ Beyond Accuracy: Characterizing Code Comprehension Capabilities in (Large) Language Models https://mchtl.de/publication/machtle-2026-beyondaccuracy/ Thu, 01 Jan 2026 00:00:00 +0000 https://mchtl.de/publication/machtle-2026-beyondaccuracy/ Coverage-Guided Multi-Agent Harness Generation for Java Library Fuzzing https://mchtl.de/publication/loose-2026-coverage/ Thu, 01 Jan 2026 00:00:00 +0000 https://mchtl.de/publication/loose-2026-coverage/ DASA: Fully Gradient-based Program Analysis (Competition Contribution) https://mchtl.de/publication/machtle-2026-dasa/ Thu, 01 Jan 2026 00:00:00 +0000 https://mchtl.de/publication/machtle-2026-dasa/ SWAT: Improvements to the symbolic executor (competition contribution) https://mchtl.de/publication/loose-2026-swat/ Thu, 01 Jan 2026 00:00:00 +0000 https://mchtl.de/publication/loose-2026-swat/ Attacks and Remedies for Randomness in AI: Cryptanalysis of PHILOX and THREEFRY https://mchtl.de/publication/alich-2025-attacks/ Wed, 01 Jan 2025 00:00:00 +0000 https://mchtl.de/publication/alich-2025-attacks/ AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution https://mchtl.de/publication/machtle-2025-autostub/ Wed, 01 Jan 2025 00:00:00 +0000 https://mchtl.de/publication/machtle-2025-autostub/ Prompt Pirates Need a Map: Stealing Seeds helps Stealing Prompts https://mchtl.de/publication/machtle-2025-promptpirates/ Wed, 01 Jan 2025 00:00:00 +0000 https://mchtl.de/publication/machtle-2025-promptpirates/ Trace Gadgets: Minimizing Code Context for Machine Learning-Based Vulnerability Prediction https://mchtl.de/publication/machtle-2026-tracegadgets/ Wed, 01 Jan 2025 00:00:00 +0000 https://mchtl.de/publication/machtle-2026-tracegadgets/ OCEAN: Open-World Contrastive Authorship Identification https://mchtl.de/publication/machtle-2025-ocean/ Mon, 01 Jan 2024 00:00:00 +0000 https://mchtl.de/publication/machtle-2025-ocean/ SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution) https://mchtl.de/publication/loose-2024-swat/ Mon, 01 Jan 2024 00:00:00 +0000 https://mchtl.de/publication/loose-2024-swat/ Madvex: Instrumentation-Based Adversarial Attacks on Machine Learning Malware Detection https://mchtl.de/publication/loose-2023-madvex/ Sun, 01 Jan 2023 00:00:00 +0000 https://mchtl.de/publication/loose-2023-madvex/