Categorical information flow

Tahiry Rabehaja*, Annabelle McIver, Carroll Morgan, Georg Struth

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Abstract

We propose a categorical model for information flows of cor- related secrets in programs. We show how programs act as transformers of such correlations, and that they can be seen as natural transformations between probabilistic constructors. We also study some basic properties of the construction.

Original languageEnglish
Title of host publicationThe art of modelling computational systems
Subtitle of host publicationa journey from logic and concurrency to security and privacy
EditorsMário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
Place of PublicationCham, Switzerland
PublisherSpringer, Springer Nature
Pages329-343
Number of pages15
ISBN (Electronic)9783030311759
ISBN (Print)9783030311742
DOIs
Publication statusPublished - 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11760 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint Dive into the research topics of 'Categorical information flow'. Together they form a unique fingerprint.

  • Cite this

    Rabehaja, T., McIver, A., Morgan, C., & Struth, G. (2019). Categorical information flow. In M. S. Alvim, K. Chatzikokolakis, C. Olarte, & F. Valencia (Eds.), The art of modelling computational systems: a journey from logic and concurrency to security and privacy (pp. 329-343). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11760 LNCS). Cham, Switzerland: Springer, Springer Nature. https://doi.org/10.1007/978-3-030-31175-9_19