Securing the Foundations of Practical Information Flow Control
Licentiate thesis, 2019

Language-based information flow control (IFC) promises to secure computer programs against malicious or incompetent programmers by addressing key shortcomings of modern programming languages. In spite of showing great promise, the field remains under-utilised in practise. This thesis makes contributions to the theoretical foundations of IFC aimed at making the techniques practically applicable. The paper addresses two primary topics, IFC as a library and IFC without false alarms. The contributions range from foundational observations about soundness and completeness, to practical considerations of efficiency and expressiveness.

Opponent: Catalin Hritcu, INRIA, France


Maximilian Algehed

Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

A perspective on the dependency core calculus

Proceedings of the ACM Conference on Computer and Communications Security,; (2018)p. 24-28

Paper in proceedings

Faceted secure multi execution

Proceedings of the ACM Conference on Computer and Communications Security,; (2018)p. 1617-1634

Paper in proceedings

Encoding DCC in Haskell

Paper in proceedings

Simple Noninterference from Parametricity

Proceedings of the ACM on Programming Languages,; Vol. 3(2019)

Paper in proceedings

Optimising Faceted Secure Multi-Execution

Proceedings - IEEE Computer Security Foundations Symposium,; Vol. 2019-June(2019)p. 1-16

Paper in proceedings

Areas of Advance

Information and Communication Technology

Driving Forces

Sustainable development

Subject Categories

Computer and Information Science


Chalmers University of Technology


Opponent: Catalin Hritcu, INRIA, France

More information

Latest update