Dimitar I. Dimitrov

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Top Venues

Publications

Ivo Petrov, Dimitar I. Dimitrov, Maximilian Baader, Mark Niklas Müller, Martin T. Vechev
DAGER: Exact Gradient Inversion for Large Language Models. CoRR (2024)
Dimitar I. Dimitrov, Maximilian Baader, Mark Niklas Müller, Martin T. Vechev
SPEAR: Exact Gradient Inversion of Batches in Federated Learning. CoRR (2024)
Kostadin Garov, Dimitar I. Dimitrov, Nikola Jovanovic, Martin T. Vechev
Hiding in Plain Sight: Disguising Data Stealing Attacks in Federated Learning. CoRR (2023)
Johan Lokna, Anouk Paradis, Dimitar I. Dimitrov, Martin T. Vechev
Group and Attack: Auditing Differential Privacy. CCS (2023)
Mislav Balunovic, Dimitar I. Dimitrov, Nikola Jovanovic, Martin T. Vechev
LAMP: Extracting Text from Gradients with Language Model Priors. NeurIPS (2022)
Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev
Shared Certificates for Neural Network Verification. CAV (1) (2022)
Mark Vero, Mislav Balunovic, Dimitar I. Dimitrov, Martin T. Vechev
Data Leakage in Tabular Federated Learning. CoRR (2022)
Dimitar I. Dimitrov, Mislav Balunovic, Nikola Konstantinov, Martin T. Vechev
Data Leakage in Federated Averaging. CoRR (2022)
Dimitar I. Dimitrov, Mislav Balunovic, Nikola Jovanovic, Martin T. Vechev
LAMP: Extracting Text from Gradients with Language Model Priors. CoRR (2022)
Nikola Jovanovic, Mislav Balunovic, Dimitar I. Dimitrov, Martin T. Vechev
FARE: Provably Fair Representation Learning. CoRR (2022)
Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin T. Vechev
Fast and precise certification of transformers. PLDI (2021)
Christian Sprecher, Marc Fischer, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev
Shared Certificates for Neural Network Verification. CoRR (2021)
Mislav Balunovic, Dimitar I. Dimitrov, Robin Staab, Martin T. Vechev
Bayesian Framework for Gradient Leakage. CoRR (2021)
Dimitar I. Dimitrov, Gagandeep Singh, Timon Gehr, Martin T. Vechev
Scalable Inference of Symbolic Adversarial Examples. CoRR (2020)