About me

I am Mark Vero, a PhD student at the Department of Computer Science, ETH Zürich. I am part of the Secure, Reliable, and Intelligent Systems Lab, supervised by Martin Vechev, since July 2023.

Education

  • ETH Zurich, since July 2023
    PhD Candidate in Computer Science
  • ETH Zurich, 2020 - 2023
    Masters in Electrical Engineering and Information Technology
  • ETH Zurich, 2017 - 2020
    Bachelors in Electrical Engineering and Information Technology

Teaching

  • Analysis 1, Autumn 2019, Autumn 2022
  • Analysis 2, Spring 2020, Spring 2022
  • Analysis 3, Autumn 2020
  • Introduction to Electrical Engineering, Spring 2019
  • Engineering Mechanics, Autumn 2018

Publications

2024

Beyond Memorization: Violating Privacy Via Inference with Large Language Models
Robin Staab, Mark Vero, Mislav Balunović, Martin Vechev
ICLR 2024 Spotlight, 2024 PPPM-Award
CuTS: Customizable Tabular Synthetic Data Generation
Mark Vero, Mislav Balunović, Martin Vechev
arXiv 2024
Large Language Models are Advanced Anonymizers
Robin Staab, Mark Vero, Mislav Balunović, Martin Vechev
arXiv 2024
Instruction Tuning for Secure Code Generation
Jingxuan He*, Mark Vero*, Gabriela Krasnopolska, Martin Vechev
arXiv 2024 * Equal contribution

2023

TabLeak: Tabular Data Leakage in Federated Learning
Mark Vero, Mislav Balunović, Dimitar I. Dimitrov, Martin Vechev
ICML 2023