Skip to content

Nikola Jovanovic

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

4

Active years

2022–2025

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2025ICLRWard: Provable RAG Dataset Inference via LLM Watermarks.Nikola Jovanovic, Robin Staab, Maximilian Baader, Martin T. Vechev
2025ICLRBlack-Box Detection of Language Model Watermarks.Thibaud Gloaguen, Nikola Jovanovic, Robin Staab, Martin T. Vechev
2025ICMLMathConstruct: Challenging LLM Reasoning with Constructive Proofs.Mislav Balunovic, Jasper Dekoninck, Nikola Jovanovic, Ivo Petrov, Martin T. Vechev
2025ICMLDiscovering Spoofing Attempts on Language Model Watermarks.Thibaud Gloaguen, Nikola Jovanovic, Robin Staab, Martin T. Vechev
2025ICMLBaxBench: Can LLMs Generate Correct and Secure Backends?Mark Vero, Niels Mndler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev
2024ICLRHiding in Plain Sight: Disguising Data Stealing Attacks in Federated Learning.Kostadin Garov, Dimitar Iliev Dimitrov, Nikola Jovanovic, Martin T. Vechev
2024ICMLWatermark Stealing in Large Language Models.Nikola Jovanovic, Robin Staab, Martin T. Vechev
2024SPFrom Principle to Practice: Vertical Data Minimization for Machine Learning.Robin Staab, Nikola Jovanovic, Mislav Balunovic, Martin T. Vechev
2023ICMLFARE: Provably Fair Representation Learning with Practical Certificates.Nikola Jovanovic, Mislav Balunovic, Dimitar Iliev Dimitrov, Martin T. Vechev
2022CCSPrivate and Reliable Neural Network Inference.Nikola Jovanovic, Marc Fischer, Samuel Steffen, Martin T. Vechev
2022ICLRComplete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound.Claudio Ferrari, Mark Niklas Mller, Nikola Jovanovic, Martin T. Vechev