Exact Robustness Certification of k-Nearest Neighbors. - Francesco Ranzato; Ahmad Shakeel; Marco Zanella (CCS, 2025)