Foundations of Information-Flow Control and Effects
Licentiatavhandling, 2022

In programming language research, information-flow control (IFC) is a technique for enforcing a variety of security aspects, such as confidentiality of data,
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

Lecture hall EF, Hörsalsvägen 11, Chalmers
Opponent: Dominique Devriese, Professor, KU Leuven, Belgium

Författare

Carlos Tomé Cortiñas

Chalmers, Data- och informationsteknik, Informationssäkerhet

Securing Asynchronous Exceptions

Proceedings - IEEE Computer Security Foundations Symposium,;Vol. 2020-June(2020)p. 214-229

Paper i proceeding

Simple Noninterference by Normalization

Proceedings of the ACM Conference on Computer and Communications Security,;(2019)p. 61-72

Paper i proceeding

Tomé Cortiñas, C, Russo, A. Pure Information-Flow Control with Effects Made Simple

WebSec: Säkerhet i webb-drivna system

Stiftelsen för Strategisk forskning (SSF) (RIT17-0011), 2018-03-01 -- 2023-02-28.

Ämneskategorier

Datavetenskap (datalogi)

Utgivare

Chalmers

Lecture hall EF, Hörsalsvägen 11, Chalmers

Online

Opponent: Dominique Devriese, Professor, KU Leuven, Belgium

Mer information

Senast uppdaterat

2023-10-26