Organizer: Patrick Struck, CROSSING

Abstract

With the advent of highly distributed computing models like cloud computing and edge computing, privacy-preservation has become a critical aspect of system design. Various Privacy Enhancing Technologies (PETs) are being used to enforce privacy, e.g., information flow control, symmetric/asymmetric cryptography, trusted execution environments, homomorphic encryption and differential privacy. These PETs offer different privacy-performance trade-offs and should ideally be combined in a common programming model.

In this talk, we present two languages that provide language-level integration of PETs, allowing programmable and granular privacy control.

Short Bio

Aditya Oak is a PhD student in the Reactive Software Systems group led by Prof. Guido Salvaneschi. His research focuses on providing language-level support for privacy enhancing technologies. He is a part of the project E5 within CROSSING.

Links

• Talk: Online via BBB
• Networking: Online – the link will be shared during the BBB session