Formalizing the One-Way to Hiding Theorem. - Katharina Heidler; Dominique Unruh (CPP, 2025)