Ethan Cecchetti: Nonmalleable Progress Leakage. CSF 2025: 537-552