YoVDO

Synthesis of Privacy-Preserving Systems

Offered By: Simons Institute via YouTube

Tags

Formal Methods Courses Game Theory Courses Automata Theory Courses Linear Temporal Logic Courses Reactive Systems Courses Transducers Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

Synthesis of Privacy-Preserving Systems


Taught by

Simons Institute

Related Courses

Programming for Everyone – An Introduction to Visual Programming Languages
Weizmann Institute of Science via edX
Programming Reactive Systems
École Polytechnique Fédérale de Lausanne via edX
Programming Reactive Systems
École Polytechnique Fédérale de Lausanne via Coursera
Programming Reactive Systems (Scala 2 version)
École Polytechnique Fédérale de Lausanne via Coursera
Building Reactive Microservices
Pluralsight