About me
I am Mislav Balunović, 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 April 2019.
Education
- ETH Zurich, September 2017 - March 2019 M.Sc. in Computer Science
- University of Zagreb, September 2014 - June 2017 B.Sc. in Mathematics
Awards
ETH Medal for Outstanding Master Thesis 2020
Publications
2024
CuTS: Customizable Tabular Synthetic Data Generation
Mark Vero, Mislav Balunović, Martin Vechev
ICML
2024
From Principle to Practice: Vertical Data Minimization for Machine Learning
Robin Staab, Nikola Jovanović, Mislav Balunović, Martin Vechev
IEEE S&P
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
Large Language Models are Advanced Anonymizers
Robin Staab, Mark Vero, Mislav Balunović, Martin Vechev
arXiv
2024
2023
TabLeak: Tabular Data Leakage in Federated Learning
Mark Vero, Mislav Balunović, Dimitar I. Dimitrov, Martin Vechev
ICML
2023
FARE: Provably Fair Representation Learning with Practical Certificates
Nikola Jovanović, Mislav Balunović, Dimitar I. Dimitrov, Martin Vechev
ICML
2023
2022
LAMP: Extracting Text from Gradients with Language Model Priors
Mislav Balunović*, Dimitar I. Dimitrov*, Nikola Jovanović, Martin Vechev
NeurIPS
2022
* Equal contribution
Latent Space Smoothing for Individually Fair Representations
Momchil Peychev, Anian Ruoss, Mislav Balunović, Maximilian Baader, Martin Vechev
ECCV
2022
On the Paradox of Certified Training
Nikola Jovanović*, Mislav Balunović*, Maximilian Baader, Martin Vechev
TMLR
2022
* Equal contribution
Data Leakage in Federated Averaging
Dimitar I. Dimitrov, Mislav Balunović, Nikola Konstantinov, Martin Vechev
TMLR
2022
Bayesian Framework for Gradient Leakage
Mislav Balunović, Dimitar I. Dimitrov, Robin Staab, Martin Vechev
ICLR
2022
2021
Robustness Certification for Point Cloud Models
Tobias Lorenz, Anian Ruoss, Mislav Balunović, Gagandeep Singh, Martin Vechev
ICCV
2021
Scalable Polyhedral Verification of Recurrent Neural Networks
Wonryong Ryou, Jiayu Chen, Mislav Balunović, Gagandeep Singh, Andrei Dan, Martin Vechev
CAV
2021
Certify or Predict: Boosting Certified Robustness with Compositional Architectures
Mark Niklas Müller, Mislav Balunović, Martin Vechev
ICLR
2021
Efficient Certification of Spatial Robustness
Anian Ruoss, Maximilian Baader, Mislav Balunović, Martin Vechev
AAAI
2021
2020
Learning Certified Individually Fair Representations
Anian Ruoss, Mislav Balunović, Marc Fischer, Martin Vechev
NeurIPS
2020
Adversarial Training and Provable Defenses: Bridging the Gap
Mislav Balunović, Martin Vechev
ICLR
2020
Oral
2019
Certifying Geometric Robustness of Neural Networks
Mislav Balunović, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin Vechev
NeurIPS
2019
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Jingxuan He, Mislav Balunović, Nodar Ambroladze, Petar Tsankov, Martin Vechev
ACM CCS
2019
DL2: Training and Querying Neural Networks with Logic
Marc Fischer, Mislav Balunović, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev
ICML
2019
2018
Work experience
- SigOpt, San Francisco, 07/2017 - 09/2017 Research Engineering Intern
- Twitter, San Francisco, 07/2016 - 10/2016 Software Engineering Intern
- Facebook, Menlo Park, 07/2015 - 10/2015 Software Engineering Intern
Major achievements
2017 | ACM ICPC World Finals | USA | 27/133 |
2016 | Central European Regional Contest (CERC) | Croatia | 2/67 |
2014 | Central European Regional Contest (CERC) | Poland | 4/79 |
2014 | International Olympiad in Mathematics (IMO) | South Africa | Gold medal |
2014 | International Olympiad in Informatics (IOI) | Taiwan | Silver medal |
2014 | Central European Olympiad in Informatics (CEOI) | Germany | Silver medal |
2014 | Croatian Olympiad in Mathematics (HMO) | Croatia | Gold medal |
2013 | International Olympiad in Mathematics (IMO) | Colombia | Bronze medal |
2013 | International Olympiad in Informatics (IOI) | Australia | Silver medal |
2013 | Croatian Olympiad in Informatics (HIO) | Croatia | Gold medal |