Securing the Foundations of Practical Information Flow Control
Licentiatavhandling, 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, Data- och informationsteknik, Funktionell programmering

A perspective on the dependency core calculus

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

Paper i proceeding

Faceted secure multi execution

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

Paper i proceeding

Encoding DCC in Haskell

PLAS '17: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security,; (2017)

Paper i proceeding

Simple Noninterference from Parametricity

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

Artikel i vetenskaplig tidskrift

Optimising Faceted Secure Multi-Execution

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

Paper i proceeding


Informations- och kommunikationsteknik


Hållbar utveckling


Data- och informationsvetenskap




Opponent: Catalin Hritcu, INRIA, France

Mer information

Senast uppdaterat