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

Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja

Browse the full LICS paper archive.