Follow
Mislav Balunović
Mislav Balunović
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Learning to fuzz from symbolic execution with application to smart contracts
J He, M Balunović, N Ambroladze, P Tsankov, M Vechev
Proceedings of the 2019 ACM SIGSAC conference on computer and communications …, 2019
2132019
DL2: Training and Querying Neural Networks with Logic
M Fischer, M Balunovic, D Drachsler-Cohen, T Gehr, C Zhang, M Vechev
International Conference on Machine Learning, 1931-1941, 2019
1652019
Adversarial Training and Provable Defenses: Bridging the Gap
M Balunovic, M Vechev
International Conference on Learning Representations, 2020
1572020
Certifying Geometric Robustness of Neural Networks
M Balunovic, M Baader, G Singh, T Gehr, M Vechev
Advances in Neural Information Processing Systems, 15287-15297, 2019
1182019
Learning certified individually fair representations
A Ruoss, M Balunovic, M Fischer, M Vechev
Advances in neural information processing systems 33, 7584-7596, 2020
872020
Learning to solve SMT formulas
M Balunovic, P Bielik, M Vechev
Advances in Neural Information Processing Systems, 10317-10328, 2018
822018
Scalable polyhedral verification of recurrent neural networks
W Ryou, J Chen, M Balunovic, G Singh, A Dan, M Vechev
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
44*2021
Bayesian framework for gradient leakage
M Balunović, DI Dimitrov, R Staab, M Vechev
arXiv preprint arXiv:2111.04706, 2021
422021
Fair normalizing flows
M Balunovic, A Ruoss, M Vechev
International Conference on Learning Representations, 2021
272021
Robustness certification for point cloud models
T Lorenz, A Ruoss, M Balunović, G Singh, M Vechev
Proceedings of the IEEE/CVF International Conference on Computer Vision …, 2021
262021
Efficient certification of spatial robustness
A Ruoss, M Baader, M Balunović, M Vechev
Proceedings of the AAAI Conference on Artificial Intelligence 35 (3), 2504-2513, 2021
222021
On the paradox of certified training
N Jovanović, M Balunović, M Baader, M Vechev
arXiv preprint arXiv:2102.06700, 2021
21*2021
Beyond memorization: Violating privacy via inference with large language models
R Staab, M Vero, M Balunović, M Vechev
arXiv preprint arXiv:2310.07298, 2023
192023
Lamp: Extracting text from gradients with language model priors
M Balunovic, D Dimitrov, N Jovanović, M Vechev
Advances in Neural Information Processing Systems 35, 7641-7654, 2022
192022
Data leakage in federated averaging
DI Dimitrov, M Balunovic, N Konstantinov, M Vechev
Transactions on Machine Learning Research, 2022
142022
Certify or predict: Boosting certified robustness with compositional architectures
MN Müller, M Balunović, M Vechev
International Conference on Learning Representations (ICLR 2021), 2021
142021
Latent space smoothing for individually fair representations
M Peychev, A Ruoss, M Balunović, M Baader, M Vechev
European Conference on Computer Vision, 535-554, 2022
112022
Lamp: Extracting text from gradients with language model priors
DI Dimitrov, M Balunović, N Jovanović, M Vechev
arXiv e-prints, arXiv: 2202.08827, 2022
112022
TabLeak: Tabular data leakage in federated learning
M Vero, M Balunović, DI Dimitrov, M Vechev
Proceedings of the 40th International Conference on Machine Learning 202 …, 2023
82023
Fair normalizing flows
M Balunović, A Ruoss, M Vechev
arXiv preprint arXiv:2106.05937, 2021
42021
The system can't perform the operation now. Try again later.
Articles 1–20