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

Annabelle McIver, Carroll Morgan, Tahiry Rabehaja

Department of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

18 Citations (Scopus)

1 Finished

1 results

Filter

Finished

Making software more reliable using a new model for entropies of computers' internal state
McIver, A., Morgan, C. & Katoen, J. P.
16/02/12 → 31/12/17
Project: Research