Publications

SWAT: Improvements to the symbolic executor (competition contribution)

Jan 1, 2026

DASA: Fully Gradient-based Program Analysis (Competition Contribution)

Jan 1, 2026

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

Jan 1, 2026

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

Jan 1, 2026

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

Jan 1, 2025

Prompt Pirates Need a Map: Stealing Seeds helps Stealing Prompts

Jan 1, 2025

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution

Jan 1, 2025

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

Jan 1, 2025

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

Jan 1, 2024

OCEAN: Open-World Contrastive Authorship Identification

Jan 1, 2024