Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Fri 18 Jan 2019 15:43 - 16:05 at Sala I - Security and Information Flow Chair(s): David Walker

We show that fine-grained and coarse-grained dynamic information-flow control (IFC) systems are equally expressive. To this end, we mechanize two mostly standard languages, one with a fine-grained dynamic IFC system and the other with a coarse-grained dynamic IFC system, and prove a semantics-preserving translation from each language to the other. In addition, we derive the standard security property of non-interference of each language from that of the other, via our verified translation. This result addresses a longstanding open problem in IFC: whether coarse-grained dynamic IFC techniques are less expressive than fine-grained dynamic IFC techniques (they are not!). The translations also stand to have important implications on the usability of IFC approaches. The coarse- to fine-grained direction can be used to remove the label annotation burden that fine-grained systems impose on developers, while the fine- to coarse-grained translation shows that coarse-grained systems—which are easier to design and implement—can track information as precisely as fine-grained systems and provides an algorithm for automatically retrofitting legacy applications to run on existing coarse-grained systems.

Slides (POPL19.pdf)4.2MiB

Fri 18 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

15:21 - 16:27: Security and Information FlowResearch Papers at Sala I
Chair(s): David WalkerPrinceton University
15:21 - 15:43
LWeb: Information Flow Security for Multi-Tier Web Applications
Research Papers
James ParkerUniversity of Maryland, Niki VazouIMDEA Software Institute, Michael HicksUniversity of Maryland, College Park
Link to publication DOI Media Attached File Attached
15:43 - 16:05
From Fine- to Coarse-Grained Dynamic Information Flow Control and BackDistinguished Paper
Research Papers
Marco VassenaChalmers University of Technology, Alejandro RussoChalmers University of Technology, Sweden, Deepak GargMax Planck Institute for Software Systems, Vineet RajaniMPI-SWS, Deian StefanUniversity of California San Diego
Link to publication DOI Media Attached File Attached
16:05 - 16:27
Modalities, Cohesion, and Information Flow
Research Papers
Alex KavvosWesleyan University
Link to publication DOI Pre-print File Attached