[VMCAI'24] Verification of Neural Networks’ Local Differential Classification Privacy | ACM SIGPLAN | Podwise