Synthesis with Privacy Against an Observer

Orna Kupferman, Ofer Leshkowitz, Namma Shamash Halevy

We study automatic synthesis of systems that interact with their environment and maintain privacy against an observer to the interaction. The system and the environment interact vi…