Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow

  title={Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow},
  author={Annabelle McIver and Carroll Morgan and Tahiry M. Rabehaja},
  journal={2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science},
Hidden Markov Models, HMM's, are mathematical models of Markov processes whose state is hidden but from which information can leak via channels. They are typically represented as 3-way joint probability distributions. We use HMM's as denotations of probabilistic hidden-state sequential programs, after recasting them as “abstract” HMM's, i.e. computations in the Giry monad D, and equipping them with a partial order of increasing security. However to encode the monadic type with hiding over state… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 3 times over the past 90 days. VIEW TWEETS


Publications referenced by this paper.
Showing 1-10 of 35 references

Towards a methodology for statistical disclosure control

  • T. Dalenius
  • Statistik Tidskrift, vol. 15, pp. 429–44, 1977.
  • 1977
Highly Influential
13 Excerpts

A monadic model for computations that leak secrets

  • T. Schrijvers
  • 2015, www.cse.unsw.edu.au/∼carrollm/LiCS-TS.html…
  • 2015
Highly Influential
2 Excerpts

Abstract hidden Markov models: a monadic account of quantitative information flow

  • A. McIver, C. Morgan, T. Rabehaja
  • 2015, includes draft appendices. At www.cse.unsw…
  • 2015
1 Excerpt

Similar Papers

Loading similar papers…