Mislav Balunović

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts

Jingxuan He, Mislav Balunović, Nodar Ambroladze et al. · 2019 · 263 citations

Computing, Computer Science, Cybersecurity +14

Adversarial Training and Provable Defenses: Bridging the Gap

Mislav Balunović, Martin Vechev · Repository for Publications and Research Data (ETH Zurich) · 2020 · 84 citations · Full text

Computing, Computer Science, Computer Security +13

DL2: Training and Querying Neural Networks with Logic.

Marc Fischer, Mislav Balunović, Dana Drachsler-Cohen et al. · International Conference on Machine Learning · 2019 · 73 citations

Computing, Computer Science, Artificial Intelligence +9

Certifying Geometric Robustness of Neural Networks

Mislav Balunović, Maximilian Baader, Gagandeep Singh et al. · Repository for Publications and Research Data (ETH Zurich) · 2020 · 61 citations · Full text

Computing, Computer Science, Computer Vision +16

Learning to Solve SMT Formulas

Mislav Balunović, Pavol Bielik, Martin Vechev · Neural Information Processing Systems · 2018 · 43 citations

Computing, Computer Science, Algorithms +10