| Transfer attacks revisited: A large-scale empirical study in real computer vision settings Y Mao, C Fu, S Wang, S Ji, X Zhang, Z Liu, J Zhou, AX Liu, R Beyah, ... 2022 IEEE Symposium on Security and Privacy (SP), 1423-1439, 2022 | 12 | 2022 |
| " Is your explanation stable?" A Robustness Evaluation Framework for Feature Attribution Y Gan, Y Mao, X Zhang, S Ji, Y Pu, M Han, J Yin, T Wang Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022 | 11 | 2022 |
| Connecting Certified and Adversarial Training Y Mao, M Müller, M Fischer, M Vechev Advances in Neural Information Processing Systems 36, 2024 | 10* | 2024 |
| Understanding certified training with interval bound propagation Y Mao, MN Müller, M Fischer, M Vechev arXiv preprint arXiv:2306.10426, 2023 | 2 | 2023 |
| Overcoming the Paradox of Certified Training with Gaussian Smoothing S Balauca, MN Müller, Y Mao, M Baader, M Fischer, M Vechev arXiv preprint arXiv:2403.07095, 2024 | | 2024 |
| Transfer Learning Assisted Fast Design Migration Over Technology Nodes: A Study on Transformer Matching Network C Chu IEEE MTT-S International Microwave Symposium, 2024 | | 2024 |
| Expressivity of ReLU-Networks under Convex Relaxations M Baader, MN Müller, Y Mao, M Vechev arXiv preprint arXiv:2311.04015, 2023 | | 2023 |
