Organizer: Patrick Struck, CROSSING
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.
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.