Program algebra for quantitative information flow (Q2423771): Difference between revisions

@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Privacy
@@ Property / cites work: Differential Privacy / rank @@
+Normal rank
@@ Property / cites work @@
+On Choosing and Bounding Probability Metrics
@@ Property / cites work: On Choosing and Bounding Probability Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+A predicate/state transformer semantics for Bayesian learning
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations for quantitative information flow
+Normal rank
@@ Property / cites work @@
+Compositional Closure for Bayes Risk in Probabilistic Noninterference
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow
+Normal rank
@@ Property / cites work @@
+Algebra for Quantitative Information Flow
@@ Property / cites work: Algebra for Quantitative Information Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+The Shadow Knows: Refinement of Ignorance in Sequential Programs
+Normal rank
@@ Property / cites work @@
+Q5533878
@@ Property / cites work: Q5533878 / rank @@
+Normal rank
@@ Property / cites work @@
+A Mathematical Theory of Communication
@@ Property / cites work: A Mathematical Theory of Communication / rank @@
+Normal rank
@@ Property / cites work @@
+On the Foundations of Quantitative Information Flow
+Normal rank