Get started
Author

Mislav Balunović

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
2019 · Jingxuan He, Mislav Balunović, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 283
AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents
2024 · Edoardo Debenedetti, Jie Zhang, et al. · neural information processing systems · 144
Adversarial Training and Provable Defenses: Bridging the Gap
2020 · Balunović, Mislav, Vechev, Martin · Repository for Publications and Research Data (ETH Zurich) · 85
PDF
DL2: Training and Querying Neural Networks with Logic.
2019 · Marc Fischer, Mislav Balunović, et al. · International Conference on Machine Learning · 67
Certifying Geometric Robustness of Neural Networks
2020 · Balunović, Mislav, Baader, Maximilian, et al. · Repository for Publications and Research Data (ETH Zurich) · 61
PDF
Learning to Solve SMT Formulas
2018 · Mislav Balunović, Pavol Bielik, et al. · neural information processing systems · 43
Learning Certified Individually Fair Representations
2020 · Ruoss, Anian, Balunović, Mislav, et al. · arXiv (Cornell University) · 41
PDF
Scalable Polyhedral Verification of Recurrent Neural Networks
2021 · Wonryong Ryou, Jiayu Chen, et al. · Lecture notes in computer science · 32
PDF
LAMP: Extracting Text from Gradients with Language Model Priors
2022 · Mislav Balunovic, Dimitar Dimitrov, et al. · neural information processing systems · 30
PDF
Bayesian Framework for Gradient Leakage
2021 · Balunović, Mislav, Dimitrov, Dimitar I., et al. · arXiv (Cornell University) · 19
PDF
Robustness Certification for Point Cloud Models
2021 · Tobias Lorenz, Anian Ruoss, et al. · IEEE/CVF International Conference on Computer Vision (ICCV) · 15
PDF
Efficient Certification of Spatial Robustness
2021 · Anian Ruoss, Maximilian Baader, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 15
Fair Normalizing Flows
2021 · Balunović, Mislav, Ruoss, Anian, et al. · arXiv (Cornell University) · 10
PDF
From Principle to Practice: Vertical Data Minimization for Machine Learning
2024 · Robin Staab, Nikola Jovanović, et al. · IEEE Symposium on Security and Privacy (S&P) · 9
PDF
Latent Space Smoothing for Individually Fair Representations
2022 · Momchil Peychev, Anian Ruoss, et al. · Lecture notes in computer science · 9
MathArena: Evaluating LLMs on Uncontaminated Math Competitions
2025 · Mislav Balunovic, Jasper Dekoninck, et al. · neural information processing systems · 5
PDF
COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act
2024 · Guldimann, Philipp, Spiridonov, Alexander, et al. · arXiv (Cornell University) · 5
PDF
Large Language Models are Advanced Anonymizers
2024 · Staab, Robin, Vero, Mark, et al. · arXiv (Cornell University) · 4
PDF
Fast and Effective Robustness Certification for Recurrent Neural Networks.
2020 · Wonryong Ryou, Jiayu Chen, et al. · arXiv (Cornell University) · 4
CuTS: Customizable Tabular Synthetic Data Generation
2023 · Vero, Mark, Balunović, Mislav, et al. · arXiv (Cornell University) · 3
PDF
Efficient Certification of Spatial Robustness
2020 · Ruoss, Anian, Baader, Maximilian, et al. · arXiv (Cornell University) · 3
PDF
Certify or Predict: Boosting Certified Robustness with Compositional Architectures
2021 · Mark Niklas Mueller, Mislav Balunović, et al. · International Conference on Learning Representations · 2
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
2025 · Dekoninck, Jasper, Petrov, Ivo, et al. · arXiv (Cornell University) · 1
PDF
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
2025 · Petrov, Ivo, Dekoninck, Jasper, et al. · arXiv (Cornell University) · 1
PDF
ToolFuzz -- Automated Agent Tool Testing
2025 · Milev, Ivan, Balunović, Mislav, et al. · arXiv (Cornell University) · 1
PDF
Works count: 39
Citation count: 969
H-index: 14
I10-index: 15
Year
Topic
Type