Synthesis with Privacy Against an Observer. - Orna Kupferman; Ofer Leshkowitz; Namma Shamash Halevy (Log. Methods Comput. Sci., 2025)