Dimensional Robustness Certification for Deep Neural Networks in Network Intrusion Detection Systems. - Huang Female, Mengdie; Lin Male, Yingjun; Chen Male, Xiaofeng; Bertino Female, Elisa (ACM Transactions on Privacy & Security, 2025)