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.

HB4
Opponent: Catalin Hritcu, INRIA, France

Författare

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

Styrkeområden

Informations- och kommunikationsteknik

Drivkrafter

Hållbar utveckling

Ämneskategorier

Data- och informationsvetenskap

Utgivare

Chalmers

HB4

Opponent: Catalin Hritcu, INRIA, France

Mer information

Senast uppdaterat

2019-11-26