Explore a framework for synthesizing privacy-preserving systems in this 36-minute lecture from the Simons Institute. Delve into two distinct settings for addressing privacy concerns in system and environment interactions. Learn how to incorporate specifications and secrets using LTL formulas, and understand the implementation of budget constraints for hiding input and output signals from observers. Examine techniques for mutual signal concealment between systems and environments while maintaining specification satisfaction. Gain insights into balancing functionality and privacy in system design through this collaborative research presented by Orna Kupferman from Hebrew University.
Overview
Syllabus
Synthesis of Privacy-Preserving Systems
Taught by
Simons Institute
Related Courses
-
Verification and Synthesis of Autonomous Systems
-
Reactive Synthesis - Open Questions and Challenges
-
Reactive Synthesis
-
Tractable Representations for Boolean Functional Synthesis
-
Verifying Indistinguishability of Privacy-Preserving Protocols
-
Privacy-Preserving Microbiome Sequencing Analysis and Storage Systems
