@inproceedings{Morgan_15,
    month            = jul,
    keywords         = {abstract hidden markov models, giry monad, quantitative information flow},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8877.pdf},
    booktitle        = {Annual IEEE Symposium on Logic in Computer Science},
    author           = {Morgan, Carroll and {McIver}, Annabelle and Rabehaja, Tahiry},
    year             = {2015},
    pages            = {597--608},
    title            = {Abstract hidden {Markov} models: a monadic account of quantitative information flow},
    address          = {Tokyo, Japan}
  }