Reducing neural architecture search spaces with training-free statistics and computational graph clustering. - Thorir Mar Ingolfsson; Mark Vero; Xiaying Wang; Lorenzo Lamberti; Luca Benini; Matteo Spallanzani (CF, 2022)

Data Leakage in Tabular Federated Learning. - Mark Vero; Mislav Balunovic; Dimitar I. Dimitrov; Martin T. Vechev (CoRR, 2022)

TabLeak: Tabular Data Leakage in Federated Learning. - Mark Vero; Mislav Balunovic; Dimitar Iliev Dimitrov; Martin T. Vechev (ICML, 2023)

Programmable Synthetic Tabular Data Generation. - Mark Vero; Mislav Balunovic; Martin T. Vechev (CoRR, 2023)

Beyond Memorization: Violating Privacy via Inference with Large Language Models. - Robin Staab; Mark Vero; Mislav Balunovic; Martin T. Vechev (ICLR, 2024)

Instruction Tuning for Secure Code Generation. - Jingxuan He; Mark Vero; Gabriela Krasnopolska; Martin T. Vechev (ICML, 2024)

CuTS: Customizable Tabular Synthetic Data Generation. - Mark Vero; Mislav Balunovic; Martin T. Vechev (ICML, 2024)

Exploiting LLM Quantization. - Kazuki Egashira; Mark Vero; Robin Staab; Jingxuan He; Martin T. Vechev (NeurIPS, 2024)

Private Attribute Inference from Images with Vision-Language Models. - Batuhan Tömekçe; Mark Vero; Robin Staab; Martin T. Vechev (NeurIPS, 2024)

A Synthetic Dataset for Personal Attribute Inference. - Hanna Yukhymenko; Robin Staab; Mark Vero; Martin T. Vechev (NeurIPS, 2024)

Large Language Models are Advanced Anonymizers. - Robin Staab; Mark Vero; Mislav Balunovic; Martin T. Vechev (CoRR, 2024)

Back to the Drawing Board for Fair Representation Learning. - Angéline Pouget; Nikola Jovanovic 001; Mark Vero; Robin Staab; Martin T. Vechev (CoRR, 2024)

Practical Attacks against Black-box Code Completion Engines. - Slobodan Jenko; Jingxuan He; Niels Mündler; Mark Vero; Martin T. Vechev (CoRR, 2024)

COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act. - Philipp Guldimann; Alexander Spiridonov; Robin Staab; Nikola Jovanovic 001; Mark Vero; Velko Vechev; Anna Gueorguieva; Mislav Balunovic; Nikola Konstantinov; Pavol Bielik; Petar Tsankov; Martin T. Vechev (CoRR, 2024)

Language Models are Advanced Anonymizers. - Robin Staab; Mark Vero; Mislav Balunovic; Martin T. Vechev (ICLR, 2025)

BaxBench: Can LLMs Generate Correct and Secure Backends? - Mark Vero; Niels Mündler; Victor Chibotaru; Veselin Raychev; Maximilian Baader; Nikola Jovanovic 001; Jingxuan He; Martin T. Vechev (CoRR, 2025)

Finetuning-Activated Backdoors in LLMs. - Thibaud Gloaguen; Mark Vero; Robin Staab; Martin T. Vechev (CoRR, 2025)

Mind the Gap: A Practical Attack on GGUF Quantization. - Kazuki Egashira; Robin Staab; Mark Vero; Jingxuan He; Martin T. Vechev (CoRR, 2025)