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

@@ Property / author @@
-Q236784
@@ Property / author: Q236784 / rank @@
-Normal rank
@@ Property / author @@
-Tahiry Rabehaja
@@ Property / author: Tahiry Rabehaja / rank @@
-Normal rank
@@ Property / author @@
+Annabelle McIver
@@ Property / author: Annabelle McIver / rank @@
+Normal rank
@@ Property / author @@
+Tahiry Rabehaja
@@ Property / author: Tahiry Rabehaja / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PrivateLR
@@ Property / describes a project that uses: PrivateLR / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2019.04.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2938848173
@@ Property / OpenAlex ID: W2938848173 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114851572
@@ Property / Wikidata QID: Q114851572 / rank @@
+Normal rank
@@ 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