@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} }