Felix Mächtle

Orcid: 0009-0009-2431-0322

According to our database¹, Felix Mächtle authored at least 31 papers between 2023 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Coverage-Guided Multi-Agent Harness Generation for Java Library Fuzzing.

[BibT_eX]

[DOI]

CoRR, March, 2026

Beyond Accuracy: Characterizing Code Comprehension Capabilities in (Large) Language Models.

[BibT_eX]

[DOI]

CoRR, January, 2026

DASA: Fully Gradient-Based Program Analysis (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

SWAT: Improvements to the Symbolic Executor (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

DASA.

[BibT_eX]

[DOI]

Dataset, November, 2025

DASA.

[BibT_eX]

[DOI]

Dataset, November, 2025

DASA.

[BibT_eX]

[DOI]

Dataset, November, 2025

DASA.

[BibT_eX]

[DOI]

Dataset, November, 2025

DASA.

[BibT_eX]

[DOI]

Dataset, November, 2025

SWAT Artifact for SV-Comp 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

SWAT Artifact for SV-Comp 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

SWAT Artifact for SV-Comp 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

SWAT Artifact for SV-Comp 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

DASA.

[BibT_eX]

[DOI]

Dataset, October, 2025

DASA.

[BibT_eX]

[DOI]

Dataset, October, 2025

DASA.

[BibT_eX]

[DOI]

Dataset, October, 2025

DASA.

[BibT_eX]

[DOI]

Dataset, October, 2025

DASA.

[BibT_eX]

[DOI]

Dataset, October, 2025

DASA.

[BibT_eX]

[DOI]

Dataset, October, 2025

Prompt Pirates Need a Map: Stealing Seeds helps Stealing Prompts.

[BibT_eX]

[DOI]

CoRR, September, 2025

Trace Gadgets: Minimizing Code Context for Machine Learning-Based Vulnerability Prediction.

[BibT_eX]

[DOI]

CoRR, April, 2025

Attacks and Remedies for Randomness in AI: Cryptanalysis of PHILOX and THREEFRY.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2025

OCEAN: Open-World Contrastive Authorship Identification.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2025

2024

SWAT - Dynamic Symbolic Execution for Java Applications.

[BibT_eX]

[DOI]

Dataset, November, 2024

SWAT - Dynamic Symbolic Execution for Java Applications.

[BibT_eX]

[DOI]

Dataset, November, 2024

SWAT - Dynamic Symbolic Execution for Java Applications.

[BibT_eX]

[DOI]

Dataset, November, 2024

SWAT - Dynamic Symbolic Execution for Java Applications.

[BibT_eX]

[DOI]

Dataset, November, 2024

SWAT - Dynamic Symbolic Execution for Java Applications.

[BibT_eX]

[DOI]

Dataset, November, 2024

SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Madvex: Instrumentation-Based Adversarial Attacks on Machine Learning Malware Detection.

[BibT_eX]

[DOI]

Nils Loose

Felix Mächtle

Claudius Pott

Volodymyr Bezsmertnyi

Thomas Eisenbarth

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2023

Felix Mächtle

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...