Re-Identification Risk vs. K-Anonymity

Noise, Stability, and ML model Calibration

Quantifying Information Loss

Evaluating embedding quality by testing metric properties (Z3 solver)