Skip to content

Abstracts.2019.IFC

Jump to bottom
Nachi edited this page Feb 18, 2020 · 2 revisions

Modalities, Cohesion and Information Flow

by Carlos Tomé Cortiñas

Abstract

In this talk I will present the paper by Alex Kavvos: Modalities, cohesion and information flow. This paper develops a categorical model for information flow control and uses it to show classical non-interference properties of several calculi. In this presentation I will cover sections 1 to 4 and (possibly) more.

References

TBD

Clone this wiki locally