Full Professor, CISPA Helmholtz Center for Information Security
2 papers at NeurIPS 2025
We propose MIBP-Cert, a certified training method that uses mixed-integer bilinear programming to compute tight robustness guarantees under complex training-time perturbations. Our approach stabilizes training and improves certified accuracy.
