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