Foundations of Information-Flow Control and Effects
Licentiate thesis, 2022
on programs. This Licenciate thesis makes novel contributions to the theory and foundations of IFC in the following ways: Chapter A presents a new proof method for showing the usual desired property of noninterference; Chapter B shows how to securely extend the concurrent IFC language MAC with asynchronous exceptions; and, Chapter C presents a new and simpler language for IFC with effects based on an explicit separation of pure and effectful computations.
Information-flow control
Programming languages
Language-based security
Author
Carlos Tomé Cortiñas
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Securing Asynchronous Exceptions
Proceedings - IEEE Computer Security Foundations Symposium,;Vol. 2020-June(2020)p. 214-229
Paper in proceeding
Simple Noninterference by Normalization
Proceedings of the ACM Conference on Computer and Communications Security,;(2019)p. 61-72
Paper in proceeding
Tomé Cortiñas, C, Russo, A. Pure Information-Flow Control with Effects Made Simple
WebSec: Securing Web-driven Systems
Swedish Foundation for Strategic Research (SSF) (RIT17-0011), 2018-03-01 -- 2023-02-28.
Subject Categories
Computer Science
Publisher
Chalmers
Lecture hall EF, Hörsalsvägen 11, Chalmers
Opponent: Dominique Devriese, Professor, KU Leuven, Belgium