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