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.
Programming languages
Language-based security
Information-flow control
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 (SSIF 2025)
Säkerhet, integritet och kryptologi
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)
Utgivare
Chalmers
Lecture hall EF, Hörsalsvägen 11, Chalmers
Opponent: Dominique Devriese, Professor, KU Leuven, Belgium