Compositional Closure for Bayes Risk in Probabilistic Noninterference.

Annabelle McIver, Larissa Meinicke, Carroll Morgan

Browse the full ICALP paper archive.