POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Tue 16 Jan 2024 14:00 - 14:45 at Turing Lecture - Third Session Chair(s): Andrew K. Hirsch

Information-Flow Control (IFC) research provides a sophisticated framework for addressing data security challenges. At its core, IFC is concerned with tracking and managing the flow of sensitive information within software systems, ensuring that confidential data is handled in a controlled and secure manner. In this talk, we will delve into the practical aspects of IFC, focusing on the development of security libraries in Haskell that implement IFC principles. Moreover, we will explore the alignment of IFC with the principles in the General Data Protection Regulation (GDPR), highlighting how IFC serves as an ideal foundation for addressing its intricate requirements. This convergence positions IFC as a robust and practical solution for building secure software that not only meets regulatory standards but also advances the broader landscape of data security. Additionally, the talk will offer some insights for navigating the landscape of PL research.

Tue 16 Jan

Displayed time zone: London change

14:00 - 15:30
Third SessionPLMW @ POPL at Turing Lecture
Chair(s): Andrew K. Hirsch University at Buffalo, SUNY
14:00
45m
Talk
The Potential of Information-Flow Control Research for helping GDPR Compliance
PLMW @ POPL
Alejandro Russo Chalmers University of Technology, Sweden
14:45
45m
Talk
Consider Collaboration
PLMW @ POPL
Harrison Goldstein University of Pennsylvania, Samantha Frohlich University of Bristol