Publications

(2025). OCEAN: Open-World Contrastive Authorship Identification. To be published at ACNS 2025.
(2025). AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution. To be published at SBFT 2025.
(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.
(2023). Madvex: Instrumentation-Based Adversarial Attacks on Machine Learning Malware Detection. International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment.